Options
Statistical Property Testing for Generative Models
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation
Statistical Guarantees for Safe 2D Object Detection Post-processing
Formally Compensating Performance Limitations for Imprecise 2D Object Detection
Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models?