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
Performance Bounds for Neural Network Estimators: Applications in Fault Detection Navid Hashemi Mahyar Fazlyab Justin Ruths AAML 36 2 0 22 Mar 2021
Insta-RS: Instance-wise Randomized Smoothing for Improved Robustness and Accuracy Chong Chen Kezhi Kong Peihong Yu J. Luque Tom Goldstein Furong Huang AAML 64 8 0 07 Mar 2021
Low Curvature Activations Reduce Overfitting in Adversarial Training Vasu Singla Sahil Singla David Jacobs Soheil Feizi AAML 102 47 0 15 Feb 2021
Partition-based formulations for mixed-integer optimization of trained ReLU neural networks Calvin Tsay Jan Kronqvist Alexander Thebelt Ruth Misener 64 71 0 08 Feb 2021
Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers Michael Everett Golnaz Habibi Jonathan P. How 64 15 0 05 Jan 2021
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead Mohamed Bennai Mahum Naseer T. Theocharides C. Kyrkou O. Mutlu Lois Orosa Jungwook Choi OOD 139 101 0 04 Jan 2021
Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach James Ferlez Yasser Shoukry 55 7 0 22 Dec 2020
Data-Dependent Randomized Smoothing Motasem Alfarra Adel Bibi Philip Torr Guohao Li UQCV 108 35 0 08 Dec 2020
Learning to Separate Clusters of Adversarial Representations for Robust Adversarial Detection Byunggill Joe Jihun Hamm Sung Ju Hwang Sooel Son I. Shin AAML OOD 57 0 0 07 Dec 2020
Almost Tight L0-norm Certified Robustness of Top-k Predictions against Adversarial Perturbations Jinyuan Jia Binghui Wang Xiaoyu Cao Hongbin Liu Neil Zhenqiang Gong 61 24 0 15 Nov 2020
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 65 59 0 05 Nov 2020
Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification Davide Corsi Enrico Marchesini Alessandro Farinelli OffRL 29 2 0 19 Oct 2020
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems Wei Huang Yifan Zhou Alec Banks Youcheng Sun Jie Meng James Sharp Xiaowei Huang 46 3 0 16 Oct 2020
Improving Neural Network Verification through Spurious Region Guided Refinement Pengfei Yang Renjue Li Jianlin Li Cheng-Chao Huang Jingyi Wang Jun Sun Bai Xue Lijun Zhang AAML 69 39 0 15 Oct 2020
Continuous Safety Verification of Neural Networks Chih-Hong Cheng Rongjie Yan 58 11 0 12 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 57 33 0 07 Oct 2020
Robustness Analysis of Neural Networks via Efficient Partitioning with Applications in Control Systems Michael Everett Golnaz Habibi Jonathan P. How AAML 30 3 0 01 Oct 2020
Towards the Quantification of Safety Risks in Deep Neural Networks Peipei Xu Wenjie Ruan Xiaowei Huang 41 7 0 13 Sep 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Yue Liu AAML 123 131 0 09 Sep 2020
Robustness Verification of Quantum Classifiers J. Guan Wang Fang Mingsheng Ying AAML 86 24 0 17 Aug 2020
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 85 63 0 18 Jul 2020
Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels Wenjie Wan Zhaodi Zhang Yiwei Zhu Min Zhang Fu Song AAML 70 8 0 16 Jul 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 131 89 0 24 Jun 2020
Network Moments: Extensions and Sparse-Smooth Attacks Modar Alfadly Adel Bibi Emilio Botero Salman Alsubaihi Guohao Li AAML 35 2 0 21 Jun 2020
PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier Haitham Khedr James Ferlez Yasser Shoukry AAML 52 5 0 18 Jun 2020
Adversarial Examples Detection and Analysis with Layer-wise Autoencoders Bartosz Wójcik P. Morawiecki Marek Śmieja Tomasz Krzy.zek Przemysław Spurek Jacek Tabor GAN 59 13 0 17 Jun 2020
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs Christopher Brix T. Noll AAML 64 10 0 16 Jun 2020
Second-Order Provable Defenses against Adversarial Attacks Sahil Singla Soheil Feizi AAML 74 60 0 01 Jun 2020
AI Research Considerations for Human Existential Safety (ARCHES) Andrew Critch David M. Krueger 112 53 0 30 May 2020
Enhancing Certified Robustness via Smoothed Weighted Ensembling Chizhou Liu Yunzhen Feng Ranran Wang Bin Dong AAML 80 12 0 19 May 2020
Online Monitoring for Neural Network Based Monocular Pedestrian Pose Estimation Arjun Gupta Luca Carlone 3DH 38 9 0 11 May 2020
Efficient Exact Verification of Binarized Neural Networks Kai Jia Martin Rinard AAML MQ 48 59 0 07 May 2020
Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming Haimin Hu Mahyar Fazlyab M. Morari George J. Pappas 85 76 0 16 Apr 2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 97 243 0 12 Apr 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 66 129 0 12 Apr 2020
Certifiable Robustness to Adversarial State Uncertainty in Deep Reinforcement Learning Michael Everett Bjorn Lutjens Jonathan P. How AAML 53 42 0 11 Apr 2020
Verifying Recurrent Neural Networks using Invariant Inference Y. Jacoby Clark W. Barrett Guy Katz 59 45 0 06 Apr 2020
RAB: Provable Robustness Against Backdoor Attacks Maurice Weber Xiaojun Xu Bojan Karlas Ce Zhang Yue Liu AAML 120 164 0 19 Mar 2020
Verification of Neural Networks: Enhancing Scalability through Pruning Dario Guidotti Francesco Leofante Luca Pulina A. Tacchella 41 24 0 17 Mar 2020
A Safety Framework for Critical Systems Utilising Deep Neural Networks Xingyu Zhao Alec Banks James Sharp Valentin Robu David Flynn Michael Fisher Xiaowei Huang AAML 99 49 0 07 Mar 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 97 37 0 06 Mar 2020
Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing Kyle D. Julian Ritchie Lee Mykel J. Kochenderfer 60 33 0 05 Mar 2020
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices Xiaodong Yang Hoang-Dung Tran Weiming Xiang Taylor Johnson CVBM 94 19 0 02 Mar 2020
Exactly Computing the Local Lipschitz Constant of ReLU Networks Matt Jordan A. Dimakis 89 112 0 02 Mar 2020
Improving the Tightness of Convex Relaxation Bounds for Training Certifiably Robust Classifiers Chen Zhu Renkun Ni Ping Yeh-Chiang Hengduo Li Furong Huang Tom Goldstein 87 5 0 22 Feb 2020
Randomized Smoothing of All Shapes and Sizes Greg Yang Tony Duan J. E. Hu Hadi Salman Ilya P. Razenshteyn Jungshian Li AAML 97 216 0 19 Feb 2020
Regularized Training and Tight Certification for Randomized Smoothed Classifier with Provable Robustness Huijie Feng Chunpeng Wu Guoyang Chen Weifeng Zhang Y. Ning AAML 71 11 0 17 Feb 2020
Lossless Compression of Deep Neural Networks Thiago Serra Abhinav Kumar Srikumar Ramalingam 106 57 0 01 Jan 2020
Certified Robustness for Top-k Predictions against Adversarial Perturbations via Randomized Smoothing Jinyuan Jia Xiaoyu Cao Binghui Wang Neil Zhenqiang Gong AAML 60 96 0 20 Dec 2019
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 125 127 0 31 Oct 2019