Algorithms for Verifying Deep Neural Networks

15 March 2019

Changliu Liu

Tomer Arnon

Christopher Lazarus

Christopher A. Strong

Clark W. Barrett

Mykel J. Kochenderfer

AAML

ArXiv PDF HTML

Papers citing "Algorithms for Verifying Deep Neural Networks"

40 / 90 papers shown

Title
On Neural Network Equivalence Checking using SMT Solvers Charis Eleftheriadis Nikolaos Kekatos Panagiotis Katsaros S. Tripakis AAML 24 12 0 22 Mar 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 47 30 0 19 Mar 2022
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks Christopher Lazarus Mykel J. Kochenderfer AAML 27 9 0 11 Mar 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming Robin Brown Edward Schmerling Navid Azizan Marco Pavone AAML 24 14 0 06 Mar 2022
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods Charles Dawson Sicun Gao Chuchu Fan 36 230 0 23 Feb 2022
Verifying Inverse Model Neural Networks Chelsea Sidrane Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 19 2 0 04 Feb 2022
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability Stanley Bak Hoang-Dung Tran AAML 32 15 0 17 Jan 2022
Curriculum Learning for Safe Mapless Navigation Luca Marzari Davide Corsi Enrico Marchesini Alessandro Farinelli 19 14 0 23 Dec 2021
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes Christian Schilling M. Forets Sebastián Guadalupe 14 38 0 16 Dec 2021
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation Enrico Marchesini Davide Corsi Alessandro Farinelli 16 18 0 16 Dec 2021
A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis T. Lew Lucas Janson Riccardo Bonalli Marco Pavone 18 18 0 10 Dec 2021
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 29 6 0 09 Dec 2021
Reachability analysis of neural networks using mixed monotonicity Pierre-Jean Meyer 46 8 0 15 Nov 2021
Learning Density Distribution of Reachable States for Autonomous Systems Yue Meng Dawei Sun Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 77 19 0 14 Sep 2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 19 112 0 31 Aug 2021
Verifying Low-dimensional Input Neural Networks via Input Quantization Kai Jia Martin Rinard AAML 30 13 0 18 Aug 2021
Constrained Feedforward Neural Network Training via Reachability Analysis Long Kiu Chung Adam Dai Derek Knowles Shreyas Kousik Grace Gao 13 8 0 16 Jul 2021
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs Christopher A. Strong Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 17 2 0 09 Jun 2021
DNNV: A Framework for Deep Neural Network Verification David Shriver Sebastian G. Elbaum Matthew B. Dwyer 21 31 0 26 May 2021
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning Zikang Xiong Suresh Jagannathan 24 6 0 20 Apr 2021
Neural Network Robustness as a Verification Property: A Principled Case Study Marco Casadio Ekaterina Komendantskaya M. Daggitt Wen Kokke Guy Katz Guy Amir Idan Refaeli OOD AAML 11 39 0 03 Apr 2021
Provably Correct Training of Neural Network Controllers Using Reachability Analysis Xiaowu Sun Yasser Shoukry 20 7 0 22 Feb 2021
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications Leonard Berrada Sumanth Dathathri Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel J. Uesato Sven Gowal M. P. Kumar AAML OOD 30 17 0 18 Feb 2021
Certified Monotonic Neural Networks Xingchao Liu Xing Han Na Zhang Qiang Liu 24 78 0 20 Nov 2020
Runtime Safety Assurance Using Reinforcement Learning Christopher Lazarus J. Lopez Mykel J. Kochenderfer 11 18 0 20 Oct 2020
Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification Davide Corsi Enrico Marchesini Alessandro Farinelli OffRL 14 2 0 19 Oct 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 17 33 0 07 Oct 2020
Deep Learning & Software Engineering: State of Research and Future Directions P. Devanbu Matthew B. Dwyer Sebastian G. Elbaum M. Lowry Kevin Moran Denys Poshyvanyk Baishakhi Ray Rishabh Singh Xiangyu Zhang 11 22 0 17 Sep 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 27 128 0 09 Sep 2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification Christian Tjandraatmadja Ross Anderson Joey Huchette Will Ma Krunal Patel J. Vielma AAML 27 89 0 24 Jun 2020
Verifying Individual Fairness in Machine Learning Models Philips George John Deepak Vijaykeerthy Diptikalyan Saha FaML 19 57 0 21 Jun 2020
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers James Ferlez Mahmoud M. Elnaggar Yasser Shoukry C. Fleming AAML 62 33 0 16 Jun 2020
Physarum Powered Differentiable Linear Programming Layers and Applications Zihang Meng Sathya Ravi Vikas Singh 23 5 0 30 Apr 2020
Parallelization Techniques for Verifying Neural Networks Haoze Wu Alex Ozdemir Aleksandar Zeljić A. Irfan Kyle D. Julian D. Gopinath Sadjad Fouladi Guy Katz C. Păsăreanu Clark W. Barrett 19 59 0 17 Apr 2020
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices Xiaodong Yang Hoang-Dung Tran Weiming Xiang Taylor Johnson CVBM 73 19 0 02 Mar 2020
Enhancing Certifiable Robustness via a Deep Model Ensemble Huan Zhang Minhao Cheng Cho-Jui Hsieh 30 9 0 31 Oct 2019
Simplifying Neural Networks using Formal Verification S. Gokulanathan Alexander Feldsher Adi Malca Clark W. Barrett Guy Katz 27 4 0 25 Oct 2019
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 292 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 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