Efficient Neural Network Analysis with Sum-of-Infeasibilities

19 March 2022

Papers citing "Efficient Neural Network Analysis with Sum-of-Infeasibilities"

26 / 26 papers shown

Title
Proof-Driven Clause Learning in Neural Network Verification Omri Isac Idan Refaeli Haoze Wu Clark W. Barrett Guy Katz 56 0 0 15 Mar 2025
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks Haoze Wu Omri Isac Aleksandar Zeljić Teruhiro Tagomori M. Daggitt ... Min Wu Min Zhang Ekaterina Komendantskaya Guy Katz Clark W. Barrett 20 29 0 25 Jan 2024
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing Y. Elboher R. Elsaleh Omri Isac Mélanie Ducoffe Audrey Galametz Guillaume Povéda Ryma Boumazouza Noémie Cohen Guy Katz AAML 20 4 0 08 Jan 2024
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions László Antal Hana Masara Erika Ábrahám 21 0 0 16 Nov 2023
DelBugV: Delta-Debugging Neural Network Verifiers R. Elsaleh Guy Katz 26 1 0 29 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 91 32 0 29 Apr 2023
Soy: An Efficient MILP Solver for Piecewise-Affine Systems Haoze Wu Min Wu Dorsa Sadigh Clark W. Barrett 17 0 0 23 Mar 2023
Verifying Generalization in Deep Learning Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML AI4CE 11 14 0 11 Feb 2023
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results Mark Niklas Muller Christopher Brix Stanley Bak Changliu Liu Taylor T. Johnson NAI 18 43 0 20 Dec 2022
VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu Haoze Wu Clark W. Barrett AAML 20 10 0 02 Dec 2022
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks Shahaf Bassan Guy Katz FAtt AAML 12 21 0 25 Oct 2022
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 17 5 0 23 Oct 2022
On Optimizing Back-Substitution Methods for Neural Network Verification Tom Zelazny Haoze Wu Clark W. Barrett Guy Katz AAML 23 5 0 16 Aug 2022
Neural Network Verification using Residual Reasoning Y. Elboher Elazar Cohen Guy Katz LRM 6 16 0 05 Aug 2022
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming Davide Corsi Raz Yerushalmi Guy Amir Alessandro Farinelli D. Harel Guy Katz 16 19 0 20 Jun 2022
Toward Certified Robustness Against Real-World Distribution Shifts Haoze Wu Teruhiro Tagomori Alexander Robey Fengjun Yang Nikolai Matni George Pappas Hamed Hassani C. Păsăreanu Clark W. Barrett AAML OOD 27 18 0 08 Jun 2022
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness Julien Girard-Satabin Michele Alberti F. Bobot Zakaria Chihani Augustin Lemesle 21 10 0 07 Jun 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett M. Zhang Guy Katz AAML 18 19 0 01 Jun 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 79 36 0 26 May 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 14 18 0 08 Feb 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 21 26 0 06 Jan 2022
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 101 138 0 29 Nov 2018
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 289 0 09 Aug 2017
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
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 250 5,813 0 08 Jul 2016