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"

46 / 196 papers shown

Title
Certified Adversarial Robustness for Deep Reinforcement Learning Björn Lütjens Michael Everett Jonathan P. How AAML 101 95 0 28 Oct 2019
Simplifying Neural Networks using Formal Verification S. Gokulanathan Alexander Feldsher Adi Malca Clark W. Barrett Guy Katz 103 4 0 25 Oct 2019
DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks Fuyuan Zhang Sankalan Pal Chowdhury M. Christakis AAML 58 8 0 14 Oct 2019
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 79 41 0 09 Oct 2019
Towards Robust Direct Perception Networks for Automated Driving Chih-Hong Cheng 19 1 0 30 Sep 2019
CAQL: Continuous Action Q-Learning Moonkyung Ryu Yinlam Chow Ross Anderson Christian Tjandraatmadja Craig Boutilier 284 43 0 26 Sep 2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 92 29 0 17 Jul 2019
Towards Robust, Locally Linear Deep Networks Guang-He Lee David Alvarez-Melis Tommi Jaakkola ODL 135 48 0 07 Jul 2019
Tight Certificates of Adversarial Robustness for Randomly Smoothed Classifiers Guang-He Lee Yang Yuan Shiyu Chang Tommi Jaakkola AAML 73 127 0 12 Jun 2019
Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers Hadi Salman Greg Yang Jungshian Li Pengchuan Zhang Huan Zhang Ilya P. Razenshteyn Sébastien Bubeck AAML 131 552 0 09 Jun 2019
Correctness Verification of Neural Networks Yichen Yang Martin Rinard AAML 67 12 0 03 Jun 2019
Fast and Stable Interval Bounds Propagation for Training Verifiably Robust Models P. Morawiecki Przemysław Spurek Marek Śmieja Jacek Tabor AAML OOD 29 9 0 03 Jun 2019
NATTACK: Learning the Distributions of Adversarial Examples for an Improved Black-Box Attack on Deep Neural Networks Yandong Li Lijun Li Liqiang Wang Tong Zhang Boqing Gong AAML 84 245 0 01 May 2019
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Greg Anderson Shankara Pailoor Işıl Dillig Swarat Chaudhuri AAML 85 101 0 22 Apr 2019
Towards Safety Verification of Direct Perception Neural Networks Chih-Hong Cheng Chung-Hao Huang Thomas Brunner Vahid Hashemi 62 14 0 09 Apr 2019
On Training Robust PDF Malware Classifiers Yizheng Chen Shiqi Wang Dongdong She Suman Jana AAML 99 69 0 06 Apr 2019
Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes Matt Jordan Justin Lewis A. Dimakis AAML 79 57 0 20 Mar 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 102 403 0 15 Mar 2019
On Certifying Non-uniform Bound against Adversarial Attacks Chen Liu Ryota Tomioka Volkan Cevher AAML 79 19 0 15 Mar 2019
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 92 233 0 04 Mar 2019
Introspection Learning Chris R. Serrano Michael A. Warren 39 0 0 27 Feb 2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification Jianlin Li Pengfei Yang Jiangchao Liu Liqian Chen Xiaowei Huang Lijun Zhang AAML 76 80 0 26 Feb 2019
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks Hadi Salman Greg Yang Huan Zhang Cho-Jui Hsieh Pengchuan Zhang AAML 146 271 0 23 Feb 2019
Fast Neural Network Verification via Shadow Prices Vicencc Rubies-Royo Roberto Calandra D. Stipanović Claire Tomlin AAML 89 41 0 19 Feb 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 210 2,056 0 08 Feb 2019
Dynamic-Weighted Simplex Strategy for Learning Enabled Cyber Physical Systems Shreyas Ramakrishna Charles Hartsell Matthew P. Burruss G. Karsai A. Dubey 155 14 0 06 Feb 2019
Robustness Certificates Against Adversarial Examples for ReLU Networks Sahil Singla Soheil Feizi AAML 68 21 0 01 Feb 2019
A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability Xiaowei Huang Daniel Kroening Wenjie Ruan Marta Kwiatkowska Youcheng Sun Emese Thamo Min Wu Xinping Yi AAML 130 51 0 18 Dec 2018
Specification-Guided Safety Verification for Feedforward Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 52 20 0 14 Dec 2018
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 158 138 0 29 Nov 2018
Formal Verification of CNN-based Perception Systems Panagiotis Kouvaros A. Lomuscio 73 38 0 28 Nov 2018
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 187 259 0 20 Nov 2018
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou Mohsen Guizani AAML 43 23 0 06 Nov 2018
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 124 765 0 02 Nov 2018
Empirical Bounds on Linear Regions of Deep Rectifier Networks Thiago Serra Srikumar Ramalingam 83 42 0 08 Oct 2018
Verification for Machine Learning, Autonomy, and Neural Networks Survey Weiming Xiang Patrick Musau A. Wild Diego Manzanas Lopez Nathaniel P. Hamilton Xiaodong Yang Joel A. Rosenfeld Taylor T. Johnson 90 102 0 03 Oct 2018
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability Kai Y. Xiao Vincent Tjeng Nur Muhammad (Mahi) Shafiullah Aleksander Madry AAML OOD 68 202 0 09 Sep 2018
Scaling provable adversarial defenses Eric Wong Frank R. Schmidt J. H. Metzen J. Zico Kolter AAML 105 450 0 31 May 2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 76 271 0 06 May 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 136 695 0 25 Apr 2018
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm Wenjie Ruan Min Wu Youcheng Sun Xiaowei Huang Daniel Kroening Marta Kwiatkowska AAML 65 39 0 16 Apr 2018
Testing Deep Neural Networks Youcheng Sun Xiaowei Huang Daniel Kroening James Sharp Matthew Hill Rob Ashmore AAML 88 219 0 10 Mar 2018
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 105 117 0 20 Nov 2017
Provable defenses against adversarial examples via the convex outer adversarial polytope Eric Wong J. Zico Kolter AAML 193 1,506 0 02 Nov 2017
A Unified View of Piecewise Linear Neural Network Verification Rudy Bunel Ilker Turkaslan Philip Torr Pushmeet Kohli M. P. Kumar AAML 123 73 0 01 Nov 2017
Verification of Binarized Neural Networks via Inter-Neuron Factoring Chih-Hong Cheng Georg Nührenberg Chung-Hao Huang Harald Ruess AAML 92 21 0 09 Oct 2017