Maximum Resilience of Artificial Neural Networks

28 April 2017

Papers citing "Maximum Resilience of Artificial Neural Networks"

28 / 78 papers shown

Title
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples I. Papusha Rosa Wu Joshua Brulé Yanni Kouskoulas D. Genin Aurora C. Schmidt 16 5 0 03 Aug 2020
Robust Machine Learning via Privacy/Rate-Distortion Theory Ye Wang Shuchin Aeron Adnan Siraj Rakin T. Koike-Akino P. Moulin OOD 22 6 0 22 Jul 2020
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 33 62 0 18 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 27 89 0 24 Jun 2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification P. Ashok Vahid Hashemi Jan Křetínský S. Mohr 19 49 0 24 Jun 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 37 34 0 06 Mar 2020
Lagrangian Decomposition for Neural Network Verification Rudy Bunel Alessandro De Palma Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip Torr M. P. Kumar 19 50 0 24 Feb 2020
Black-Box Certification with Randomized Smoothing: A Functional Optimization Based Framework Dinghuai Zhang Mao Ye Chengyue Gong Zhanxing Zhu Qiang Liu AAML 24 62 0 21 Feb 2020
Certified Robustness of Community Detection against Adversarial Structural Perturbation via Randomized Smoothing Jinyuan Jia Binghui Wang Xiaoyu Cao Neil Zhenqiang Gong AAML 85 83 0 09 Feb 2020
Lossless Compression of Deep Neural Networks Thiago Serra Abhinav Kumar Srikumar Ramalingam 24 56 0 01 Jan 2020
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 27 28 0 17 Jul 2019
POPQORN: Quantifying Robustness of Recurrent Neural Networks Ching-Yun Ko Zhaoyang Lyu Tsui-Wei Weng Luca Daniel Ngai Wong Dahua Lin AAML 17 75 0 17 May 2019
Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes Matt Jordan Justin Lewis A. Dimakis AAML 24 57 0 20 Mar 2019
Verification of Non-Linear Specifications for Neural Networks Chongli Qin Krishnamurthy Dvijotham Dvijotham Brendan O'Donoghue Rudy Bunel Robert Stanforth Sven Gowal J. Uesato G. Swirszcz Pushmeet Kohli AAML 14 43 0 25 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 26 263 0 23 Feb 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 22 1,995 0 08 Feb 2019
Optimization Problems for Machine Learning: A Survey Claudio Gambella Bissan Ghaddar Joe Naoum-Sawaya AI4CE 30 178 0 16 Jan 2019
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 21 251 0 20 Nov 2018
Verification of Recurrent Neural Networks Through Rule Extraction Qinglong Wang Kaixuan Zhang Xue Liu C. Lee Giles AAML 28 18 0 14 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 11 747 0 02 Nov 2018
Empirical Bounds on Linear Regions of Deep Rectifier Networks Thiago Serra Srikumar Ramalingam 8 42 0 08 Oct 2018
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability Kai Y. Xiao Vincent Tjeng Nur Muhammad (Mahi) Shafiullah A. Madry AAML OOD 12 199 0 09 Sep 2018
Automated Verification of Neural Networks: Advances, Challenges and Perspectives Francesco Leofante Nina Narodytska Luca Pulina A. Tacchella AAML 28 69 0 25 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 50 686 0 25 Apr 2018
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures S. Korneev Nina Narodytska Luca Pulina A. Tacchella Nikolaj S. Bjørner Shmuel Sagiv MQ 34 13 0 24 Feb 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 317 5,847 0 08 Jul 2016