Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability

9 September 2018

Kai Y. Xiao

Vincent Tjeng

Nur Muhammad (Mahi) Shafiullah

Papers citing "Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability"

41 / 41 papers shown

Title
Support is All You Need for Certified VAE Training Changming Xu Debangshu Banerjee Deepak Vasisht Gagandeep Singh AAML 39 0 0 16 Apr 2025
Adversarial Robustification via Text-to-Image Diffusion Models Daewon Choi Jongheon Jeong Huiwon Jang Jinwoo Shin DiffM 39 1 0 26 Jul 2024
Verifiable Boosted Tree Ensembles Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Giulio Ermanno Pibiri AAML 44 0 0 22 Feb 2024
Vulnerability Analysis of Transformer-based Optical Character Recognition to Adversarial Attacks Lucas Beerens D. Higham 30 1 0 28 Nov 2023
A Theoretical Perspective on Subnetwork Contributions to Adversarial Robustness Jovon Craig Joshua Andle Theodore S. Nowak S. Y. Sekeh AAML 39 0 0 07 Jul 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 91 32 0 29 Apr 2023
On the Robustness of Randomized Ensembles to Adversarial Perturbations Hassan Dbouk Naresh R Shanbhag AAML 23 7 0 02 Feb 2023
Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions Junyang Cai Khai-Nguyen Nguyen Nishant Shrestha Aidan Good Ruisen Tu Xin Yu Shandian Zhe Thiago Serra MLT 32 7 0 19 Jan 2023
Confidence-aware Training of Smoothed Classifiers for Certified Robustness Jongheon Jeong Seojin Kim Jinwoo Shin AAML 19 7 0 18 Dec 2022
Towards Robust Dataset Learning Yihan Wu Xinda Li Florian Kerschbaum Heng Huang Hongyang R. Zhang DD OOD 41 10 0 19 Nov 2022
A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables Adrien Benamira Tristan Guérand Thomas Peyrin Trevor Yap Bryan Hooi 32 1 0 18 Aug 2022
Provably Adversarially Robust Nearest Prototype Classifiers Václav Voráček Matthias Hein AAML 20 11 0 14 Jul 2022
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth AAML 40 17 0 29 Jun 2022
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 17 6 0 09 Dec 2021
Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds Yujia Huang Huan Zhang Yuanyuan Shi J Zico Kolter Anima Anandkumar 27 76 0 02 Nov 2021
Impact of Attention on Adversarial Robustness of Image Classification Models Prachi Agrawal Narinder Singh Punn S. K. Sonbhadra Sonali Agarwal AAML 16 6 0 02 Sep 2021
Advances in adversarial attacks and defenses in computer vision: A survey Naveed Akhtar Ajmal Saeed Mian Navid Kardan M. Shah AAML 26 235 0 01 Aug 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 28 55 0 06 Apr 2021
Towards Evaluating the Robustness of Deep Diagnostic Models by Adversarial Attack Mengting Xu Tao Zhang Zhongnian Li Mingxia Liu Daoqiang Zhang AAML OOD MedIm 25 41 0 05 Mar 2021
A Generative Model based Adversarial Security of Deep Learning and Linear Classifier Models Ferhat Ozgur Catak Samed Sivaslioglu Kevser Sahinbas AAML 21 7 0 17 Oct 2020
Uncovering the Limits of Adversarial Training against Norm-Bounded Adversarial Examples Sven Gowal Chongli Qin J. Uesato Timothy A. Mann Pushmeet Kohli AAML 17 323 0 07 Oct 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 16 89 0 24 Jun 2020
Breaking certified defenses: Semantic adversarial examples with spoofed robustness certificates Amin Ghiasi Ali Shafahi Tom Goldstein 23 55 0 19 Mar 2020
Neural Networks for Encoding Dynamic Security-Constrained Optimal Power Flow Daniel Timon Viola Andreas Venzke George S. Misyris Spyros Chatzivasileiadis 8 38 0 17 Mar 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 32 34 0 06 Mar 2020
Overfitting in adversarially robust deep learning Leslie Rice Eric Wong Zico Kolter 13 785 0 26 Feb 2020
Gödel's Sentence Is An Adversarial Example But Unsolvable Xiaodong Qi Lansheng Han AAML 14 0 0 25 Feb 2020
$Random Smoothing Might be Unable to Certify $\ell_\infty$ Robustness for High-Dimensional Images$ Random Smoothing Might be Unable to Certify $\ell_\infty$ Robustness for High-Dimensional Images Avrim Blum Travis Dick N. Manoj Hongyang R. Zhang AAML 18 79 0 10 Feb 2020
Fast is better than free: Revisiting adversarial training Eric Wong Leslie Rice J. Zico Kolter AAML OOD 40 1,158 0 12 Jan 2020
Lossless Compression of Deep Neural Networks Thiago Serra Abhinav Kumar Srikumar Ramalingam 24 56 0 01 Jan 2020
Enhancing Certifiable Robustness via a Deep Model Ensemble Huan Zhang Minhao Cheng Cho-Jui Hsieh 25 9 0 31 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
Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks Maksym Andriushchenko Matthias Hein 20 61 0 08 Jun 2019
Robustness for Non-Parametric Classification: A Generic Attack and Defense Yao-Yuan Yang Cyrus Rashtchian Yizhen Wang Kamalika Chaudhuri SILM AAML 26 42 0 07 Jun 2019
Scaleable input gradient regularization for adversarial robustness Chris Finlay Adam M. Oberman AAML 8 77 0 27 May 2019
What Do Adversarially Robust Models Look At? Takahiro Itazuri Yoshihiro Fukuhara Hirokatsu Kataoka Shigeo Morishima 11 5 0 19 May 2019
Variational Inference with Latent Space Quantization for Adversarial Resilience Vinay Kyatham P. PrathoshA. Tarun Kumar Yadav Deepak Mishra Dheeraj Mundhra AAML 8 3 0 24 Mar 2019
Logit Pairing Methods Can Fool Gradient-Based Attacks Marius Mosbach Maksym Andriushchenko T. A. Trost Matthias Hein Dietrich Klakow AAML 17 82 0 29 Oct 2018
Empirical Bounds on Linear Regions of Deep Rectifier Networks Thiago Serra Srikumar Ramalingam 8 42 0 08 Oct 2018
Adversarial examples from computational constraints Sébastien Bubeck Eric Price Ilya P. Razenshteyn AAML 62 230 0 25 May 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017