Efficient Neural Network Robustness Certification with General Activation Functions

2 November 2018

Papers citing "Efficient Neural Network Robustness Certification with General Activation Functions"

27 / 177 papers shown

Title
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
Robustness Verification for Transformers Zhouxing Shi Huan Zhang Kai-Wei Chang Minlie Huang Cho-Jui Hsieh AAML 27 105 0 16 Feb 2020
More Data Can Expand the Generalization Gap Between Adversarially Robust and Standard Models Lin Chen Yifei Min Mingrui Zhang Amin Karbasi OOD 38 64 0 11 Feb 2020
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks Tong Chen J. Lasserre Victor Magron Edouard Pauwels 36 3 0 10 Feb 2020
MACER: Attack-free and Scalable Robust Training via Maximizing Certified Radius Runtian Zhai Chen Dan Di He Huan Zhang Boqing Gong Pradeep Ravikumar Cho-Jui Hsieh Liwei Wang OOD AAML 27 177 0 08 Jan 2020
Fastened CROWN: Tightened Neural Network Robustness Certificates Zhaoyang Lyu Ching-Yun Ko Zhifeng Kong Ngai Wong Dahua Lin Luca Daniel 43 67 0 02 Dec 2019
Enhancing Certifiable Robustness via a Deep Model Ensemble Huan Zhang Minhao Cheng Cho-Jui Hsieh 33 9 0 31 Oct 2019
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
Robustness Guarantees for Deep Neural Networks on Videos Min Wu Marta Z. Kwiatkowska AAML 19 22 0 28 Jun 2019
Towards Stable and Efficient Training of Verifiably Robust Neural Networks Huan Zhang Hongge Chen Chaowei Xiao Sven Gowal Robert Stanforth Bo-wen Li Duane S. Boning Cho-Jui Hsieh AAML 17 344 0 14 Jun 2019
Evaluating the Robustness of Nearest Neighbor Classifiers: A Primal-Dual Perspective Lu Wang Xuanqing Liu Jinfeng Yi Zhi-Hua Zhou Cho-Jui Hsieh AAML 31 22 0 10 Jun 2019
Robustness Verification of Tree-based Models Hongge Chen Huan Zhang Si Si Yang Li Duane S. Boning Cho-Jui Hsieh AAML 22 76 0 10 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 45 538 0 09 Jun 2019
Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks Maksym Andriushchenko Matthias Hein 28 61 0 08 Jun 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 27 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 36 394 0 15 Mar 2019
On Certifying Non-uniform Bound against Adversarial Attacks Chen Liu Ryota Tomioka V. Cevher AAML 47 19 0 15 Mar 2019
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks Hadi Salman Greg Yang Huan Zhang Cho-Jui Hsieh Pengchuan Zhang AAML 52 263 0 23 Feb 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 22 1,998 0 08 Feb 2019
The Limitations of Adversarial Training and the Blind-Spot Attack Huan Zhang Hongge Chen Zhao Song Duane S. Boning Inderjit S. Dhillon Cho-Jui Hsieh AAML 22 144 0 15 Jan 2019
PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach Tsui-Wei Weng Pin-Yu Chen Lam M. Nguyen M. Squillante Ivan Oseledets Luca Daniel AAML 21 30 0 18 Dec 2018
Logit Pairing Methods Can Fool Gradient-Based Attacks Marius Mosbach Maksym Andriushchenko T. A. Trost Matthias Hein Dietrich Klakow AAML 33 82 0 29 Oct 2018
Certified Adversarial Robustness with Additive Noise Bai Li Changyou Chen Wenlin Wang Lawrence Carin AAML 28 341 0 10 Sep 2018
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees Min Wu Matthew Wicker Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 24 111 0 10 Jul 2018
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,842 0 03 Feb 2017
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 335 5,849 0 08 Jul 2016