Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks

3 May 2017

Papers citing "Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks"

11 / 161 papers shown

Title
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 28 749 0 02 Nov 2018
Empirical Bounds on Linear Regions of Deep Rectifier Networks Thiago Serra Srikumar Ramalingam 10 42 0 08 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 12 199 0 09 Sep 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 34 474 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 50 687 0 25 Apr 2018
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems Cumhur Erkan Tuncali J. Kapinski Hisahiro Ito Jyotirmoy V. Deshmukh 23 42 0 11 Apr 2018
Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach Tsui-Wei Weng Huan Zhang Pin-Yu Chen Jinfeng Yi D. Su Yupeng Gao Cho-Jui Hsieh Luca Daniel AAML 25 464 0 31 Jan 2018
A Unified View of Piecewise Linear Neural Network Verification Rudy Bunel Ilker Turkaslan Philip Torr Pushmeet Kohli M. P. Kumar AAML 31 73 0 01 Nov 2017
Provably Minimally-Distorted Adversarial Examples Nicholas Carlini Guy Katz Clark W. Barrett D. Dill AAML 35 89 0 29 Sep 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,843 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 932 0 21 Oct 2016