When to Trust AI: Advances and Challenges for Certification of Neural Networks

20 September 2023

Papers citing "When to Trust AI: Advances and Challenges for Certification of Neural Networks"

7 / 7 papers shown

Title
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 67 14 0 31 Aug 2024
Query languages for neural networks Martin Grohe Christoph Standke Juno Steegmans Jan Van den Bussche NAI 24 1 0 19 Aug 2024
Learning Polynomial Representations of Physical Objects with Application to Certifying Correct Packing Configurations Morgan Jones 25 0 0 11 Dec 2023
Introduction to Neural Network Verification Aws Albarghouthi AAML 53 85 0 21 Sep 2021
Globally-Robust Neural Networks Klas Leino Zifan Wang Matt Fredrikson AAML OOD 80 125 0 16 Feb 2021
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