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"

50 / 159 papers shown

Title
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation Sicheng Zhao Xiangyu Yue Shanghang Zhang Bo-wen Li Han Zhao ... Ravi Krishna Joseph E. Gonzalez Alberto L. Sangiovanni-Vincentelli S. Seshia Kurt Keutzer 41 264 0 01 Sep 2020
Robust Deep Reinforcement Learning through Adversarial Loss Tuomas P. Oikarinen Wang Zhang Alexandre Megretski Luca Daniel Tsui-Wei Weng AAML 46 94 0 05 Aug 2020
Scaling Polyhedral Neural Network Verification on GPUs Christoph Müller F. Serre Gagandeep Singh Markus Püschel Martin Vechev AAML 29 56 0 20 Jul 2020
Do Adversarially Robust ImageNet Models Transfer Better? Hadi Salman Andrew Ilyas Logan Engstrom Ashish Kapoor A. Madry 37 417 0 16 Jul 2020
Sharp Statistical Guarantees for Adversarially Robust Gaussian Classification Chen Dan Yuting Wei Pradeep Ravikumar 26 45 0 29 Jun 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
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs Christopher Brix T. Noll AAML 25 10 0 16 Jun 2020
Training robust neural networks using Lipschitz bounds Patricia Pauli Anne Koch J. Berberich Paul Kohler Frank Allgöwer 19 156 0 06 May 2020
Probabilistic Safety for Bayesian Neural Networks Matthew Wicker Luca Laurenti A. Patané Marta Z. Kwiatkowska AAML 14 52 0 21 Apr 2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 31 239 0 12 Apr 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 20 127 0 12 Apr 2020
Certifiable Robustness to Adversarial State Uncertainty in Deep Reinforcement Learning Michael Everett Bjorn Lutjens Jonathan P. How AAML 15 41 0 11 Apr 2020
Robust Deep Reinforcement Learning against Adversarial Perturbations on State Observations Huan Zhang Hongge Chen Chaowei Xiao Bo-wen Li Mingyan D. Liu Duane S. Boning Cho-Jui Hsieh AAML 44 261 0 19 Mar 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
Robustness Verification for Transformers Zhouxing Shi Huan Zhang Kai-Wei Chang Minlie Huang Cho-Jui Hsieh AAML 24 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
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
Adversarial Machine Learning -- Industry Perspectives Ramnath Kumar Magnus Nyström J. Lambert Andrew Marshall Mario Goertzel Andi Comissoneru Matt Swann Sharon Xia AAML SILM 29 232 0 04 Feb 2020
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 27 53 0 10 Jan 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 21 177 0 08 Jan 2020
Enhancing Certifiable Robustness via a Deep Model Ensemble Huan Zhang Minhao Cheng Cho-Jui Hsieh 33 9 0 31 Oct 2019
L*ReLU: Piece-wise Linear Activation Functions for Deep Fine-grained Visual Categorization Mina Basirat P. Roth 19 8 0 27 Oct 2019
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller Radoslav Ivanov Taylor J. Carpenter James Weimer Rajeev Alur George J. Pappas Insup Lee 20 79 0 24 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
Evaluating the Robustness of Nearest Neighbor Classifiers: A Primal-Dual Perspective Lu Wang Xuanqing Liu Jinfeng Yi Zhi-Hua Zhou Cho-Jui Hsieh AAML 28 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 17 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 39 536 0 09 Jun 2019
Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks Maksym Andriushchenko Matthias Hein 28 61 0 08 Jun 2019
Enhancing Adversarial Defense by k-Winners-Take-All Chang Xiao Peilin Zhong Changxi Zheng AAML 24 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 21 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 19 35 0 12 Apr 2019
On Training Robust PDF Malware Classifiers Yizheng Chen Shiqi Wang Dongdong She Suman Jana AAML 50 68 0 06 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
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
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 36 393 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 24 80 0 26 Feb 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
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
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou Mohsen Guizani AAML 24 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 11 747 0 02 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 28 10 0 19 Oct 2018
Provable Robustness of ReLU networks via Maximization of Linear Regions Francesco Croce Maksym Andriushchenko Matthias Hein 31 166 0 17 Oct 2018