Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction

Ramya Ramalingam, Sangdon Park, Osbert Bastani

Machine learning has become an effective tool for automatically annotating unstructured data (e.g., images) with structured labels (e.g., object detections). As a result, a new pro…