Towards Fast Computation of Certified Robustness for ReLU Networks

25 April 2018

Inderjit S. Dhillon

Papers citing "Towards Fast Computation of Certified Robustness for ReLU Networks"

21 / 121 papers shown

Title
Robustness Guarantees for Deep Neural Networks on Videos Min Wu Marta Z. Kwiatkowska AAML 17 22 0 28 Jun 2019
Robustness Verification of Tree-based Models Hongge Chen Huan Zhang Si Si Yang Li Duane S. Boning Cho-Jui Hsieh AAML 15 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 28 535 0 09 Jun 2019
Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks Maksym Andriushchenko Matthias Hein 20 61 0 08 Jun 2019
Enhancing Adversarial Defense by k-Winners-Take-All Chang Xiao Peilin Zhong Changxi Zheng AAML 11 97 0 25 May 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
Robustness Verification of Support Vector Machines Francesco Ranzato Marco Zanella AAML 18 17 0 26 Apr 2019
Adversarial Learning in Statistical Classification: A Comprehensive Review of Defenses Against Attacks David J. Miller Zhen Xiang G. Kesidis AAML 16 35 0 12 Apr 2019
Scaling up the randomized gradient-free adversarial attack reveals overestimation of robustness using established attacks Francesco Croce Jonas Rauber Matthias Hein AAML 20 30 0 27 Mar 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 22 390 0 15 Mar 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 14 80 0 26 Feb 2019
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou M. Guizani AAML 16 23 0 06 Nov 2018
On Extensions of CLEVER: A Neural Network Robustness Evaluation Algorithm Tsui-Wei Weng Huan Zhang Pin-Yu Chen A. Lozano Cho-Jui Hsieh Luca Daniel 20 10 0 19 Oct 2018
Characterizing Adversarial Examples Based on Spatial Consistency Information for Semantic Segmentation Chaowei Xiao Ruizhi Deng Bo-wen Li F. I. F. Richard Yu M. Liu D. Song AAML 16 99 0 11 Oct 2018
On the Structural Sensitivity of Deep Convolutional Networks to the Directions of Fourier Basis Functions Yusuke Tsuzuku Issei Sato AAML 16 62 0 11 Sep 2018
Certified Adversarial Robustness with Additive Noise Bai Li Changyou Chen Wenlin Wang Lawrence Carin AAML 20 341 0 10 Sep 2018
Is Robustness the Cost of Accuracy? -- A Comprehensive Study on the Robustness of 18 Deep Image Classification Models D. Su Huan Zhang Hongge Chen Jinfeng Yi Pin-Yu Chen Yupeng Gao VLM 15 387 0 05 Aug 2018
Adversarial examples from computational constraints Sébastien Bubeck Eric Price Ilya P. Razenshteyn AAML 62 230 0 25 May 2018
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 49 117 0 20 Nov 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 261 3,109 0 04 Nov 2016