On Optimizing Back-Substitution Methods for Neural Network Verification

16 August 2022

Papers citing "On Optimizing Back-Substitution Methods for Neural Network Verification"

28 / 28 papers shown

Title
Neural Network Verification using Residual Reasoning Y. Elboher Elazar Cohen Guy Katz LRM 54 17 0 05 Aug 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 86 31 0 19 Mar 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 86 18 0 08 Feb 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 82 26 0 06 Jan 2022
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 86 112 0 31 Aug 2021
Pruning and Slicing Neural Networks using Formal Verification O. Lahav Guy Katz 56 21 0 28 May 2021
Towards Scalable Verification of Deep Reinforcement Learning Guy Amir Michael Schapira Guy Katz OffRL 65 47 0 25 May 2021
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations Mark Niklas Muller Gleb Makarchuk Gagandeep Singh Markus Püschel Martin Vechev 63 92 0 05 Mar 2021
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers Kaidi Xu Huan Zhang Shiqi Wang Yihan Wang Suman Jana Xue Lin Cho-Jui Hsieh 98 187 0 27 Nov 2020
Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong Haoze Wu Aleksandar Zeljić Kyle D. Julian Guy Katz Clark W. Barrett Mykel J. Kochenderfer AAML 45 33 0 07 Oct 2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification P. Ashok Vahid Hashemi Jan Křetínský S. Mohr 35 50 0 24 Jun 2020
Scalable Polyhedral Verification of Recurrent Neural Networks Wonryong Ryou Jiayu Chen Mislav Balunović Gagandeep Singh Andrei Dan Martin Vechev 55 31 0 27 May 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 51 129 0 12 Apr 2020
Verifying Recurrent Neural Networks using Invariant Inference Y. Jacoby Clark W. Barrett Guy Katz 27 45 0 06 Apr 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 104 126 0 31 Oct 2019
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 61 105 0 25 Jun 2019
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 161 257 0 20 Nov 2018
Formal Verification of Neural Network Controlled Autonomous Systems Xiaowu Sun Haitham Khedr Yasser Shoukry 76 139 0 31 Oct 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 84 478 0 28 Apr 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 108 695 0 25 Apr 2018
An approach to reachability analysis for feed-forward ReLU neural networks A. Lomuscio Lalit Maganti 65 359 0 22 Jun 2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks Rüdiger Ehlers 102 626 0 03 May 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 228 943 0 21 Oct 2016
Concrete Problems in AI Safety Dario Amodei C. Olah Jacob Steinhardt Paul Christiano John Schulman Dandelion Mané 236 2,389 0 21 Jun 2016
Measuring Neural Net Robustness with Constraints Osbert Bastani Yani Andrew Ioannou Leonidas Lampropoulos Dimitrios Vytiniotis A. Nori A. Criminisi AAML 89 424 0 24 May 2016
End to End Learning for Self-Driving Cars Mariusz Bojarski D. Testa Daniel Dworakowski Bernhard Firner B. Flepp ... Urs Muller Jiakai Zhang Xin Zhang Jake Zhao Karol Zieba SSL 100 4,170 0 25 Apr 2016
Very Deep Convolutional Networks for Large-Scale Image Recognition Karen Simonyan Andrew Zisserman FAtt MDE 1.7K 100,386 0 04 Sep 2014
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 277 14,927 1 21 Dec 2013