Provably Bounding Neural Network Preimages

2 February 2023

Papers citing "Provably Bounding Neural Network Preimages"

7 / 7 papers shown

Title
Formal Verification of Markov Processes with Learned Parameters Muhammad Maaz Timothy C. Y. Chan 40 0 0 27 Jan 2025
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 36 0 0 26 Oct 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation Lujie Yang Hongkai Dai Zhouxing Shi Cho-Jui Hsieh Russ Tedrake Huan Zhang 45 14 0 11 Apr 2024
When to Trust AI: Advances and Challenges for Certification of Neural Networks M. Kwiatkowska Xiyue Zhang AAML 8 8 0 20 Sep 2023
Generalized Out-of-Distribution Detection: A Survey Jingkang Yang Kaiyang Zhou Yixuan Li Ziwei Liu 171 873 0 21 Oct 2021
Robust Out-of-distribution Detection for Neural Networks Jiefeng Chen Yixuan Li Xi Wu Yingyu Liang S. Jha OODD 150 84 0 21 Mar 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,835 0 03 Feb 2017