https://github.com/p-lambda/verified_calibration/blob/e2f0f744d7448a0bc75e6c0d5f345f12a6828dc0/experiments/platt_not_calibrated/lower_bounds.py#L59 Function parameter `num_samples` of `lower_bound_experiment` is not used. Should be `num_samples= num_samples ` instead of `num_samples=1000`.