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 / 121 papers shown

Title
Neural Network Verification in Control M. Everett AAML 32 16 0 30 Sep 2021
ROMAX: Certifiably Robust Deep Multiagent Reinforcement Learning via Convex Relaxation Chuangchuang Sun Dong-Ki Kim Jonathan P. How AAML 31 18 0 14 Sep 2021
Neural Network Branch-and-Bound for Neural Network Verification Florian Jaeckle Jingyue Lu M. P. Kumar 11 8 0 27 Jul 2021
On the Certified Robustness for Ensemble Models and Beyond Zhuolin Yang Linyi Li Xiaojun Xu B. Kailkhura Tao Xie Bo-wen Li AAML 16 48 0 22 Jul 2021
Provable Lipschitz Certification for Generative Models Matt Jordan A. Dimakis 11 14 0 06 Jul 2021
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems Chao Huang Jiameng Fan Zhilu Wang Yixuan Wang Weichao Zhou Jiajun Li Xin Chen Wenchao Li Qi Zhu 32 48 0 25 Jun 2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Shaoru Chen Eric Wong Zico Kolter Mahyar Fazlyab 39 15 0 16 Jun 2021
DNNV: A Framework for Deep Neural Network Verification David Shriver Sebastian G. Elbaum Matthew B. Dwyer 16 31 0 26 May 2021
Analytical bounds on the local Lipschitz constants of ReLU networks Trevor Avant K. Morgansen FAtt 19 12 0 29 Apr 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 37 55 0 06 Apr 2021
Robust Models Are More Interpretable Because Attributions Look Normal Zifan Wang Matt Fredrikson Anupam Datta OOD FAtt 30 25 0 20 Mar 2021
Adversarial Training is Not Ready for Robot Learning Mathias Lechner Ramin Hasani Radu Grosu Daniela Rus T. Henzinger AAML 33 34 0 15 Mar 2021
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations Mark Niklas Muller Gleb Makarchuk Gagandeep Singh Markus Püschel Martin Vechev 35 90 0 05 Mar 2021
Resilient Machine Learning for Networked Cyber Physical Systems: A Survey for Machine Learning Security to Securing Machine Learning for CPS Felix O. Olowononi D. Rawat Chunmei Liu 31 131 0 14 Feb 2021
On the Paradox of Certified Training Nikola Jovanović Mislav Balunović Maximilian Baader Martin Vechev OOD 23 13 0 12 Feb 2021
Fast Training of Provably Robust Neural Networks by SingleProp Akhilan Boopathy Tsui-Wei Weng Sijia Liu Pin-Yu Chen Gaoyuan Zhang Luca Daniel AAML 11 7 0 01 Feb 2021
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification Brendon G. Anderson Ziye Ma Jingqi Li Somayeh Sojoudi 55 1 0 22 Jan 2021
Robusta: Robust AutoML for Feature Selection via Reinforcement Learning Xiaoyang Sean Wang Bo-wen Li Yibo Zhang B. Kailkhura K. Nahrstedt 13 3 0 15 Jan 2021
Understanding and Increasing Efficiency of Frank-Wolfe Adversarial Training Theodoros Tsiligkaridis Jay Roberts AAML 14 11 0 22 Dec 2020
DSRNA: Differentiable Search of Robust Neural Architectures Ramtin Hosseini Xingyi Yang P. Xie OOD AAML 21 50 0 11 Dec 2020
Data-Dependent Randomized Smoothing Motasem Alfarra Adel Bibi Philip H. S. Torr Bernard Ghanem UQCV 23 34 0 08 Dec 2020
Certified Monotonic Neural Networks Xingchao Liu Xing Han Na Zhang Qiang Liu 21 78 0 20 Nov 2020
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 11 58 0 05 Nov 2020
Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification Davide Corsi Enrico Marchesini Alessandro Farinelli OffRL 6 2 0 19 Oct 2020
Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong Haoze Wu Aleksandar Zeljić Kyle D. Julian Guy Katz Clark W. Barrett Mykel J. Kochenderfer AAML 17 33 0 07 Oct 2020
Deep Learning & Software Engineering: State of Research and Future Directions P. Devanbu Matthew B. Dwyer Sebastian G. Elbaum M. Lowry Kevin Moran Denys Poshyvanyk Baishakhi Ray Rishabh Singh Xiangyu Zhang 11 22 0 17 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 34 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 33 92 0 05 Aug 2020
Scaling Polyhedral Neural Network Verification on GPUs Christoph Müller F. Serre Gagandeep Singh Markus Püschel Martin Vechev AAML 27 56 0 20 Jul 2020
Do Adversarially Robust ImageNet Models Transfer Better? Hadi Salman Andrew Ilyas Logan Engstrom Ashish Kapoor A. Madry 34 416 0 16 Jul 2020
Sharp Statistical Guarantees for Adversarially Robust Gaussian Classification Chen Dan Yuting Wei Pradeep Ravikumar 24 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 24 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
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 27 237 0 12 Apr 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 14 127 0 12 Apr 2020
Certifiable Robustness to Adversarial State Uncertainty in Deep Reinforcement Learning Michael Everett Bjorn Lutjens Jonathan P. How AAML 13 41 0 11 Apr 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 34 34 0 06 Mar 2020
Lagrangian Decomposition for Neural Network Verification Rudy Bunel Alessandro De Palma Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip H. S. Torr M. P. Kumar 11 50 0 24 Feb 2020
Robustness Verification for Transformers Zhouxing Shi Huan Zhang Kai-Wei Chang Minlie Huang Cho-Jui Hsieh AAML 19 104 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 27 64 0 11 Feb 2020
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks Tong Chen J. Lasserre Victor Magron Edouard Pauwels 31 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 83 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 27 232 0 04 Feb 2020
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 22 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 14 177 0 08 Jan 2020
Enhancing Certifiable Robustness via a Deep Model Ensemble Huan Zhang Minhao Cheng Cho-Jui Hsieh 25 9 0 31 Oct 2019
L*ReLU: Piece-wise Linear Activation Functions for Deep Fine-grained Visual Categorization Mina Basirat P. Roth 6 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 15 78 0 24 Oct 2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 25 28 0 17 Jul 2019