v1v2 (latest)

Scaling provable adversarial defenses

31 May 2018

J. Zico Kolter

ArXiv (abs)PDF HTML Github (387★)

Papers citing "Scaling provable adversarial defenses"

50 / 273 papers shown

Title
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 67 2 0 18 Aug 2022
An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models Brendon G. Anderson Tanmay Gautam Somayeh Sojoudi OOD 53 2 0 15 Aug 2022
Lipschitz Bound Analysis of Neural Networks S. Bose AAML 59 0 0 14 Jul 2022
Sound Randomized Smoothing in Floating-Point Arithmetics Václav Voráček Matthias Hein 82 4 0 14 Jul 2022
Provably Adversarially Robust Nearest Prototype Classifiers Václav Voráček Matthias Hein AAML 43 11 0 14 Jul 2022
Certified Adversarial Robustness via Anisotropic Randomized Smoothing Hanbin Hong Yuan Hong AAML 73 5 0 12 Jul 2022
UniCR: Universally Approximated Certified Robustness via Randomized Smoothing Hanbin Hong Binghui Wang Yuan Hong AAML 76 11 0 05 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 85 17 0 29 Jun 2022
Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum Junlin Wu Yevgeniy Vorobeychik 73 22 0 21 Jun 2022
Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness Tianlong Chen Huan Zhang Zhenyu Zhang Shiyu Chang Sijia Liu Pin-Yu Chen Zhangyang Wang AAML 63 11 0 15 Jun 2022
Can pruning improve certified robustness of neural networks? Zhangheng Li Tianlong Chen Linyi Li Yue Liu Zhangyang Wang AAML 108 13 0 15 Jun 2022
On the Perils of Cascading Robust Classifiers Ravi Mangal Zifan Wang Chi Zhang Klas Leino C. Păsăreanu Matt Fredrikson AAML 74 0 0 01 Jun 2022
A Simple Approach to Adversarial Robustness in Few-shot Image Classification Akshayvarun Subramanya Hamed Pirsiavash VLM 66 6 0 11 Apr 2022
Interval Bound Interpolation for Few-shot Learning with Few Tasks Shounak Datta S. S. Mullick A. Chakrabarty Swagatam Das 77 3 0 07 Apr 2022
How to Robustify Black-Box ML Models? A Zeroth-Order Optimization Perspective Yimeng Zhang Yuguang Yao Jinghan Jia Jinfeng Yi Min-Fong Hong Shiyu Chang Sijia Liu AAML 123 34 0 27 Mar 2022
Repairing Group-Level Errors for DNNs Using Weighted Regularization Ziyuan Zhong Yuchi Tian Conor J. Sweeney Vicente Ordonez Baishakhi Ray 113 0 0 24 Mar 2022
On the Convergence of Certified Robust Training with Interval Bound Propagation Yihan Wang Zhouxing Shi Quanquan Gu Cho-Jui Hsieh 62 9 0 16 Mar 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming Robin Brown Edward Schmerling Navid Azizan Marco Pavone AAML 73 17 0 06 Mar 2022
Robust Probabilistic Time Series Forecasting Taeho Yoon Youngsuk Park Ernest K. Ryu Yuyang Wang AAML AI4TS 61 18 0 24 Feb 2022
Learning Neural Networks under Input-Output Specifications Z. Abdeen He Yin V. Kekatos Ming Jin 57 8 0 23 Feb 2022
Learning Representations Robust to Group Shifts and Adversarial Examples Ming-Chang Chiu Xuezhe Ma OOD 39 0 0 18 Feb 2022
Holistic Adversarial Robustness of Deep Learning Models Pin-Yu Chen Sijia Liu AAML 100 16 0 15 Feb 2022
Layer-wise Regularized Adversarial Training using Layers Sustainability Analysis (LSA) framework Mohammad Khalooei M. Homayounpour M. Amirmazlaghani AAML 60 3 0 05 Feb 2022
Certifying Out-of-Domain Generalization for Blackbox Functions Maurice Weber Linyi Li Wei Ping Zhikuan Zhao Yue Liu Ce Zhang OOD 64 15 0 03 Feb 2022
TPC: Transformation-Specific Smoothing for Point Cloud Models Wen-Hsuan Chu Linyi Li Yue Liu 3DPC 106 13 0 30 Jan 2022
Input-Specific Robustness Certification for Randomized Smoothing Ruoxin Chen Jie Li Junchi Yan Ping Li Bin Sheng AAML 156 16 0 21 Dec 2021
Robust Upper Bounds for Adversarial Training Dimitris Bertsimas Xavier Boix Kimberly Villalobos Carballo D. Hertog AAML 71 0 0 17 Dec 2021
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 42 6 0 09 Dec 2021
Generalized Likelihood Ratio Test for Adversarially Robust Hypothesis Testing Bhagyashree Puranik Upamanyu Madhow Ramtin Pedarsani AAML 44 4 0 04 Dec 2021
Adaptive Perturbation for Adversarial Attack Zheng Yuan Jie Zhang Zhaoyan Jiang Liangliang Li Shiguang Shan AAML 106 3 0 27 Nov 2021
Adversarially Robust Learning for Security-Constrained Optimal Power Flow P. Donti Aayushya Agarwal Neeraj Vijay J. Pileggi Zico Kolter AAML 18 18 0 12 Nov 2021
Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds Yujia Huang Huan Zhang Yuanyuan Shi J Zico Kolter Anima Anandkumar 105 78 0 02 Nov 2021
A Dynamical System Perspective for Lipschitz Neural Networks Laurent Meunier Blaise Delattre Alexandre Araujo A. Allauzen 128 56 0 25 Oct 2021
Boosting the Certified Robustness of L-infinity Distance Nets Bohang Zhang Du Jiang Di He Liwei Wang OOD 93 30 0 13 Oct 2021
Certified Patch Robustness via Smoothed Vision Transformers Hadi Salman Saachi Jain Eric Wong Aleksander Mkadry AAML 120 59 0 11 Oct 2021
Impact of Attention on Adversarial Robustness of Image Classification Models Prachi Agrawal Narinder Singh Punn S. K. Sonbhadra Sonali Agarwal AAML 45 6 0 02 Sep 2021
Learning to Give Checkable Answers with Prover-Verifier Games Cem Anil Guodong Zhang Yuhuai Wu Roger C. Grosse 76 16 0 27 Aug 2021
Existence, Stability and Scalability of Orthogonal Convolutional Neural Networks El Mehdi Achour Franccois Malgouyres Franck Mamalet 62 21 0 12 Aug 2021
On Procedural Adversarial Noise Attack And Defense Jun Yan Xiaoyang Deng Huilin Yin Wancheng Ge AAML 44 2 0 10 Aug 2021
Meta Gradient Adversarial Attack Zheng Yuan Jie Zhang Yunpei Jia Chuanqi Tan Tao Xue Shiguang Shan AAML 117 79 0 09 Aug 2021
Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100 Sahil Singla Surbhi Singla Soheil Feizi AAML 90 58 0 05 Aug 2021
Understanding Intrinsic Robustness Using Label Uncertainty Xiao Zhang David Evans OOD 45 5 0 07 Jul 2021
ROPUST: Improving Robustness through Fine-tuning with Photonic Processors and Synthetic Gradients Alessandro Cappelli Julien Launay Laurent Meunier Ruben Ohana Iacopo Poli AAML 51 4 0 06 Jul 2021
Scaling-up Diverse Orthogonal Convolutional Networks with a Paraunitary Framework Jiahao Su Wonmin Byeon Furong Huang 36 9 0 16 Jun 2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Shaoru Chen Eric Wong Zico Kolter Mahyar Fazlyab 123 15 0 16 Jun 2021
Adversarial Robustness via Fisher-Rao Regularization Marine Picot Francisco Messina Malik Boudiaf Fabrice Labeau Ismail Ben Ayed Pablo Piantanida AAML 79 25 0 12 Jun 2021
Relaxing Local Robustness Klas Leino Matt Fredrikson AAML 63 8 0 11 Jun 2021
An Ensemble Approach Towards Adversarial Robustness Haifeng Qian AAML UQCV 24 0 0 10 Jun 2021
Enhancing Robustness of Neural Networks through Fourier Stabilization Netanel Raviv Aidan Kelley Michael M. Guo Yevgeny Vorobeychik AAML 24 13 0 08 Jun 2021
A Primer on Multi-Neuron Relaxation-based Adversarial Robustness Certification Kevin Roth AAML 24 2 0 06 Jun 2021