Ananya Kumar, Percy Liang, Tengyu Ma: Verified Uncertainty Calibration. NeurIPS 2019: 3787-3798