Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction

24 May 2024

Papers citing "Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction"

7 / 7 papers shown

Title
ImageEye: Batch Image Processing Using Program Synthesis Celeste Barnaby Qiaochuan Chen R. Samanta Işıl Dillig DiffM 36 6 0 06 Apr 2023
Few-shot Conformal Prediction with Auxiliary Tasks Adam Fisch Tal Schuster Tommi Jaakkola Regina Barzilay 181 53 0 17 Feb 2021
Distribution-Free, Risk-Controlling Prediction Sets Stephen Bates Anastasios Nikolas Angelopoulos Lihua Lei Jitendra Malik Michael I. Jordan OOD 181 186 0 07 Jan 2021
Learning Differentiable Programs with Admissible Neural Heuristics Ameesh Shah Eric Zhan Jennifer J. Sun Abhinav Verma Yisong Yue Swarat Chaudhuri 137 43 0 23 Jul 2020
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction Sangdon Park Osbert Bastani Nikolai Matni Insup Lee UQCV 136 68 0 31 Dec 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016