An approach to reachability analysis for feed-forward ReLU neural networks

22 June 2017

Papers citing "An approach to reachability analysis for feed-forward ReLU neural networks"

50 / 196 papers shown

Title
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 99 12 0 06 Dec 2022
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions Joshua Pilipovsky Vignesh Sivaramakrishnan Meeko Oishi Panagiotis Tsiotras 81 5 0 03 Dec 2022
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic Wael Fatnassi Haitham Khedr Valen Yamamoto Yasser Shoukry 53 7 0 22 Nov 2022
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 106 7 0 23 Oct 2022
Safety Verification for Neural Networks Based on Set-boundary Analysis Zhen Liang Dejin Ren Wanwei Liu Ji Wang Wenjing Yang Bai Xue AAML 62 6 0 09 Oct 2022
CARE: Certifiably Robust Learning with Reasoning via Variational Inference Jiawei Zhang Linyi Li Ce Zhang Yue Liu AAML OOD 122 8 0 12 Sep 2022
A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables Adrien Benamira Tristan Guérand Thomas Peyrin Trevor Yap Bryan Hooi 69 2 0 18 Aug 2022
On Optimizing Back-Substitution Methods for Neural Network Verification Tom Zelazny Haoze Wu Clark W. Barrett Guy Katz AAML 94 5 0 16 Aug 2022
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool Neelanjana Pal Taylor T. Johnson 35 1 0 14 Jul 2022
Certified Adversarial Robustness via Anisotropic Randomized Smoothing Hanbin Hong Yuan Hong AAML 73 5 0 12 Jul 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 68 11 0 02 Jul 2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng Guangdong Bai Sin Gee Teo Zhe Hou Yan Xiao Yun Lin Jin Song Dong AAML 81 44 0 24 Jun 2022
Riemannian data-dependent randomized smoothing for neural networks certification Pol Labarbarie H. Hajri M. Arnaudon 45 4 0 21 Jun 2022
Chordal Sparsity for SDP-based Neural Network Verification Anton Xue Lars Lindemann Rajeev Alur 97 2 0 07 Jun 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 162 37 0 26 May 2022
CertiFair: A Framework for Certified Global Fairness of Neural Networks Haitham Khedr Yasser Shoukry FedML 80 23 0 20 May 2022
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding Zhilu Wang Chao Huang Qi Zhu AAML 104 19 0 26 Mar 2022
Closing the Loop: A Framework for Trustworthy Machine Learning in Power Systems Jochen Stiasny Samuel C. Chevalier Rahul Nellikkath Brynjar Sævarsson Spyros Chatzivasileiadis 64 16 0 14 Mar 2022
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks Christopher Lazarus Mykel J. Kochenderfer AAML 58 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 73 17 0 06 Mar 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani 3DV 68 44 0 14 Feb 2022
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers B. Liao Chih-Hong Cheng Hasan Esen Alois Knoll AAML 58 1 0 08 Feb 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 114 18 0 08 Feb 2022
Verifying Inverse Model Neural Networks Chelsea Sidrane Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 63 2 0 04 Feb 2022
OMLT: Optimization & Machine Learning Toolkit Francesco Ceccon Jordan Jalving Joshua Haddad Alexander Thebelt Calvin Tsay C. Laird Ruth Misener 84 75 0 04 Feb 2022
Smoothed Embeddings for Certified Few-Shot Learning Mikhail Aleksandrovich Pautov Olesya Kuznetsova Nurislam Tursynbek Aleksandr Petiushko Ivan Oseledets 92 6 0 02 Feb 2022
Constraint Learning to Define Trust Regions in Predictive-Model Embedded Optimization Chenbo Shi Mohsen Emadikhiav Leonardo Lozano David Bergman 47 2 0 12 Jan 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 101 26 0 06 Jan 2022
Optimizing over an ensemble of neural networks Keliang Wang Leonardo Lozano C. Cardonha David Bergman UQCV 33 1 0 13 Dec 2021
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks James Ferlez Haitham Khedr Yasser Shoukry 56 12 0 17 Nov 2021
Infinite Time Horizon Safety of Bayesian Neural Networks Mathias Lechner Dorde Zikelic K. Chatterjee T. Henzinger 60 18 0 04 Nov 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 80 15 0 18 Oct 2021
Certified Patch Robustness via Smoothed Vision Transformers Hadi Salman Saachi Jain Eric Wong Aleksander Mkadry AAML 120 59 0 11 Oct 2021
Safe Control with Neural Network Dynamic Models Tianhao Wei Changliu Liu 88 36 0 03 Oct 2021
Neural Network Verification in Control M. Everett AAML 67 16 0 30 Sep 2021
Data Efficient Human Intention Prediction: Leveraging Neural Network Verification and Expert Guidance Ruixuan Liu Changliu Liu AAML 40 1 0 16 Aug 2021
Neural Network Repair with Reachability Analysis Xiaodong Yang Tomochika Yamaguchi Hoang-Dung Tran Bardh Hoxha Taylor T. Johnson Danil Prokhorov AAML 62 30 0 09 Aug 2021
Reachability Analysis of Neural Feedback Loops M. Everett Golnaz Habibi Chuangchuang Sun Jonathan P. How 61 54 0 09 Aug 2021
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems Chelsea Sidrane Amir Maleki A. Irfan Mykel J. Kochenderfer 57 49 0 03 Aug 2021
Certified Defense via Latent Space Randomized Smoothing with Orthogonal Encoders Huimin Zeng Jiahao Su Furong Huang AAML 49 4 0 01 Aug 2021
ANCER: Anisotropic Certification via Sample-wise Volume Maximization Francisco Eiras Motasem Alfarra M. P. Kumar Philip Torr P. Dokania Guohao Li Adel Bibi 77 32 0 09 Jul 2021
Reachability Analysis of Convolutional Neural Networks Xiaodong Yang Tomoya Yamaguchi Hoang-Dung Tran Bardh Hoxha Taylor T. Johnson Danil Prokhorov FAtt 45 6 0 22 Jun 2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Shaoru Chen Eric Wong Zico Kolter Mahyar Fazlyab 123 15 0 16 Jun 2021
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs Christopher A. Strong Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 82 2 0 09 Jun 2021
A Primer on Multi-Neuron Relaxation-based Adversarial Robustness Certification Kevin Roth AAML 24 2 0 06 Jun 2021
Pruning and Slicing Neural Networks using Formal Verification O. Lahav Guy Katz 82 21 0 28 May 2021
Fast Falsification of Neural Networks using Property Directed Testing Moumita Das Rajarshi Ray S. Mohalik A. Banerjee AAML 42 1 0 26 Apr 2021
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes Changshun Wu Yliès Falcone Saddek Bensalem 92 10 0 25 Apr 2021
Orthogonalizing Convolutional Layers with the Cayley Transform Asher Trockman J. Zico Kolter 95 115 0 14 Apr 2021
Multi-Label Classification Neural Networks with Hard Logical Constraints Eleonora Giunchiglia Thomas Lukasiewicz AILaw 100 45 0 24 Mar 2021