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 General Framework for Property-Driven Machine Learning Thomas Flinkow Marco Casadio Colin Kessler Rosemary Monahan Ekaterina Komendantskaya AAML 132 2 0 01 May 2025
Principal Eigenvalue Regularization for Improved Worst-Class Certified Robustness of Smoothed Classifiers Gaojie Jin Tianjin Huang Ronghui Mu Xiaowei Huang AAML 77 0 0 21 Mar 2025
Achieving Domain-Independent Certified Robustness via Knowledge Continuity Alan Sun Chiyu Ma Kenneth Ge Soroush Vosoughi 61 1 0 03 Nov 2024
Towards Universal Certified Robustness with Multi-Norm Training Enyi Jiang Gagandeep Singh Gagandeep Singh AAML 134 1 0 03 Oct 2024
Certified Causal Defense with Generalizable Robustness Yiran Qiao Yu Yin Chen Chen Jing Ma AAML OOD CML 177 0 0 28 Aug 2024
Sycophancy to Subterfuge: Investigating Reward-Tampering in Large Language Models Carson E. Denison M. MacDiarmid Fazl Barez David Duvenaud Shauna Kravec ... Jared Kaplan Buck Shlegeris Samuel R. Bowman Ethan Perez Evan Hubinger 132 44 0 14 Jun 2024
CTBENCH: A Library and Benchmark for Certified Training Yuhao Mao Stefan Balauca Martin Vechev OOD 126 5 0 07 Jun 2024
Effects of Exponential Gaussian Distribution on (Double Sampling) Randomized Smoothing Youwei Shu Xi Xiao Derui Wang Yuxin Cao Siji Chen Jason Xue Linyi Li Yue Liu 80 2 0 04 Jun 2024
$Estimating the Robustness Radius for Randomized Smoothing with 100$\times$ Sample Efficiency$ Estimating the Robustness Radius for Randomized Smoothing with 100 $\times$ Sample Efficiency Emmanouil Seferis Stefanos D. Kollias Chih-Hong Cheng AAML 37 2 0 26 Apr 2024
Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation Hanjiang Hu Jianglin Lan Changliu Liu 106 5 0 20 Apr 2024
PROSAC: Provably Safe Certification for Machine Learning Models under Adversarial Attacks Ziquan Liu Zhuo Zhi Ilija Bogunovic Carsten Gerner-Beuerle Miguel R. D. Rodrigues AAML 73 0 0 04 Feb 2024
Towards more Practical Threat Models in Artificial Intelligence Security Kathrin Grosse L. Bieringer Tarek R. Besold Alexandre Alahi 101 13 0 16 Nov 2023
Expressivity of ReLU-Networks under Convex Relaxations Maximilian Baader Mark Niklas Muller Yuhao Mao Martin Vechev 87 4 0 07 Nov 2023
$Is Certifying $\ell_p$ Robustness Still Worthwhile?$ Is Certifying $\ell_p$ Robustness Still Worthwhile? Ravi Mangal Klas Leino Zifan Wang Kai Hu Weicheng Yu Corina S. Pasareanu Anupam Datta Matt Fredrikson AAML OOD 84 1 0 13 Oct 2023
Provably Cost-Sensitive Adversarial Defense via Randomized Smoothing Yuan Xin Dingfan Chen Michael Backes Xiao Zhang AAML 63 0 0 12 Oct 2023
Splitting the Difference on Adversarial Training Matan Levi A. Kontorovich 89 4 0 03 Oct 2023
Certified Robust Models with Slack Control and Large Lipschitz Constants M. Losch David Stutz Bernt Schiele Mario Fritz 46 4 0 12 Sep 2023
Open Sesame! Universal Black Box Jailbreaking of Large Language Models Raz Lapid Ron Langberg Moshe Sipper AAML 135 112 0 04 Sep 2023
General Lipschitz: Certified Robustness Against Resolvable Semantic Transformations via Transformation-Dependent Randomized Smoothing Dmitrii Korzh Alireza Azadbakht Maryam Tahmasbi Alireza Javaheri AAML 81 0 0 17 Aug 2023
Not So Robust After All: Evaluating the Robustness of Deep Neural Networks to Unseen Adversarial Attacks R. Garaev Bader Rasheed Adil Mehmood Khan AAML OOD 36 2 0 12 Aug 2023
Unsupervised Representation Learning for Time Series: A Review Qianwen Meng Hangwei Qian Yong Liu Yonghui Xu Zhiqi Shen Li-zhen Cui AI4TS 79 18 0 03 Aug 2023
Adaptive Certified Training: Towards Better Accuracy-Robustness Tradeoffs Zhakshylyk Nurlanov Frank R. Schmidt Florian Bernard OOD 69 0 0 24 Jul 2023
Towards quantum enhanced adversarial robustness in machine learning Maxwell T. West S. Tsang J. S. Low C. Hill C. Leckie Lloyd C. L. Hollenberg S. Erfani Muhammad Usman AAML OOD 79 57 0 22 Jun 2023
Understanding Certified Training with Interval Bound Propagation Yuhao Mao Mark Niklas Muller Marc Fischer Martin Vechev AAML 98 18 0 17 Jun 2023
How robust accuracy suffers from certified training with convex relaxations Piersilvio De Bartolomeis Jacob Clarysse Amartya Sanyal Fanny Yang AAML 66 2 0 12 Jun 2023
Expressive Losses for Verified Robustness via Convex Combinations Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth A. Lomuscio AAML 106 14 0 23 May 2023
How Deep Learning Sees the World: A Survey on Adversarial Attacks & Defenses Joana Cabral Costa Tiago Roxo Hugo Manuel Proença Pedro R. M. Inácio AAML 120 62 0 18 May 2023
TAPS: Connecting Certified and Adversarial Training Yuhao Mao Mark Niklas Muller Marc Fischer Martin Vechev AAML 119 11 0 08 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 160 37 0 29 Apr 2023
RNN-Guard: Certified Robustness Against Multi-frame Attacks for Recurrent Neural Networks Yunruo Zhang Tianyu Du S. Ji Peng Tang Shanqing Guo AAML 64 2 0 17 Apr 2023
Understanding Overfitting in Adversarial Training via Kernel Regression Teng Zhang Kang Li 56 2 0 13 Apr 2023
A Certified Radius-Guided Attack Framework to Image Segmentation Models Wenjie Qu Youqi Li Binghui Wang AAML 52 5 0 05 Apr 2023
Optimization and Optimizers for Adversarial Robustness Hengyue Liang Buyun Liang Le Peng Ying Cui Tim Mitchell Ju Sun AAML 65 5 0 23 Mar 2023
Boosting Verified Training for Robust Image Classifications via Abstraction Zhaodi Zhang Zhiyi Xue Yang Chen Si Liu Yueling Zhang Qingbin Liu Min Zhang 100 5 0 21 Mar 2023
RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion Zhuoqun Huang Neil G. Marchant Keane Lucas Lujo Bauer O. Ohrimenko Benjamin I. P. Rubinstein AAML 94 17 0 31 Jan 2023
Limitations of Piecewise Linearity for Efficient Robustness Certification Klas Leino AAML 74 6 0 21 Jan 2023
Better May Not Be Fairer: A Study on Subgroup Discrepancy in Image Classification Ming-Chang Chiu Pin-Yu Chen Xuezhe Ma 83 6 0 16 Dec 2022
Improving Robust Generalization by Direct PAC-Bayesian Bound Minimization Zifa Wang Nan Ding Tomer Levinboim Xi Chen Radu Soricut AAML 77 6 0 22 Nov 2022
Towards Robust Dataset Learning Yihan Wu Xinda Li Florian Kerschbaum Heng Huang Hongyang R. Zhang DD OOD 85 10 0 19 Nov 2022
VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch Sawinder Kaur Yi Xiao Asif Salekin 54 0 0 17 Nov 2022
Improved techniques for deterministic l2 robustness Sahil Singla Soheil Feizi AAML 97 10 0 15 Nov 2022
Accelerating Certified Robustness Training via Knowledge Transfer Pratik Vaishnavi Kevin Eykholt Amir Rahmati 68 7 0 25 Oct 2022
Certified Training: Small Boxes are All You Need Mark Niklas Muller Franziska Eckert Marc Fischer Martin Vechev AAML 99 48 0 10 Oct 2022
Denoising Masked AutoEncoders Help Robust Classification Quanlin Wu Hang Ye Yuntian Gu Huishuai Zhang Liwei Wang Di He 77 22 0 10 Oct 2022
Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective Bohang Zhang Du Jiang Di He Liwei Wang OOD 86 53 0 04 Oct 2022
MultiGuard: Provably Robust Multi-label Classification against Adversarial Examples Jinyuan Jia Wenjie Qu Neil Zhenqiang Gong OOD 68 14 0 03 Oct 2022
On the tightness of linear relaxation based robustness certification methods Cheng Tang AAML 79 0 0 01 Oct 2022
Robust-by-Design Classification via Unitary-Gradient Neural Networks Fabio Brau Giulio Rossolini Alessandro Biondi Giorgio Buttazzo AAML 110 5 0 09 Sep 2022
Adversarial Robustness for Tabular Data through Cost and Utility Awareness Klim Kireev B. Kulynych Carmela Troncoso AAML 89 18 0 27 Aug 2022
A Novel Plug-and-Play Approach for Adversarially Robust Generalization Deepak Maurya Adarsh Barik Jean Honorio OOD AAML 83 0 0 19 Aug 2022