Neural Network Verification with Proof Production

1 June 2022

Papers citing "Neural Network Verification with Proof Production"

5 / 5 papers shown

Title
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 25 66 0 14 Jan 2023
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 82 36 0 26 May 2022
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 27 34 0 06 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,832 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016