Optimal and Provable Calibration in High-Dimensional Binary Classification: Angular Calibration and Platt Scaling