Heng Yang

Latest

• PAC-Bayes Generalization Certificates for Learned Inductive Conformal Prediction
• Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation
• Object Pose Estimation with Statistical Guarantees: Conformal Keypoint Detection and Geometric Uncertainty Propagation