Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching

11 October 2021

Papers citing "Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching"

4 / 4 papers shown

Title
Learning Differentiable Programs with Admissible Neural Heuristics Ameesh Shah Eric Zhan Jennifer J. Sun Abhinav Verma Yisong Yue Swarat Chaudhuri 149 43 0 23 Jul 2020
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction Sangdon Park Osbert Bastani Nikolai Matni Insup Lee UQCV 146 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 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016