Provable defenses against adversarial examples via the convex outer adversarial polytope

2 November 2017

J. Zico Kolter

Papers citing "Provable defenses against adversarial examples via the convex outer adversarial polytope"

50 / 362 papers shown

Title
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 47 0 0 02 May 2025
A Cryptographic Perspective on Mitigation vs. Detection in Machine Learning Greg Gluch Shafi Goldwasser AAML 37 0 0 28 Apr 2025
Support is All You Need for Certified VAE Training Changming Xu Debangshu Banerjee Deepak Vasisht Gagandeep Singh AAML 44 0 0 16 Apr 2025
CeTAD: Towards Certified Toxicity-Aware Distance in Vision Language Models Xiangyu Yin Jiaxu Liu Zhen Chen Jinwei Hu Yi Dong Xiaowei Huang Wenjie Ruan AAML 50 0 0 08 Mar 2025
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis Long Kiu Chung Shreyas Kousik 237 0 0 22 Jan 2025
Adversarial Hubness in Multi-Modal Retrieval Tingwei Zhang Fnu Suya Rishi Jha Collin Zhang Vitaly Shmatikov AAML 87 1 0 18 Dec 2024
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics Keyi Shen Jiangwei Yu Huan Zhang Yunzhu Li Yunzhu Li 98 1 0 12 Dec 2024
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 38 1 0 02 Oct 2024
Certified Causal Defense with Generalizable Robustness Yiran Qiao Yu Yin Chen Chen Jing Ma AAML OOD CML 63 0 0 28 Aug 2024
Certifiably Robust Encoding Schemes Aman Saxena Tom Wollschlager Nicola Franco J. M. Lorenz Stephan Günnemann OOD AAML 44 1 0 02 Aug 2024
CERT-ED: Certifiably Robust Text Classification for Edit Distance Zhuoqun Huang Yipeng Wang Seunghee Shin Benjamin I. P. Rubinstein AAML 56 1 0 01 Aug 2024
Adversarial Robustification via Text-to-Image Diffusion Models Daewon Choi Jongheon Jeong Huiwon Jang Jinwoo Shin DiffM 47 1 0 26 Jul 2024
SPLITZ: Certifiable Robustness via Split Lipschitz Randomized Smoothing Meiyu Zhong Ravi Tandon 44 3 0 03 Jul 2024
CTBENCH: A Library and Benchmark for Certified Training Yuhao Mao Stefan Balauca Martin Vechev OOD 47 5 0 07 Jun 2024
Neural Network Verification with Branch-and-Bound for General Nonlinearities Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho-Jui Hsieh Huan Zhang 48 11 0 31 May 2024
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 42 1 0 27 May 2024
Certifying Adapters: Enabling and Enhancing the Certification of Classifier Adversarial Robustness Jieren Deng Hanbin Hong A. Palmer Xin Zhou Jinbo Bi Kaleel Mahmood Yuan Hong Derek Aguiar AAML 40 0 0 25 May 2024
Towards Certification of Uncertainty Calibration under Adversarial Attacks Cornelius Emde Francesco Pinto Thomas Lukasiewicz Philip Torr Adel Bibi AAML 45 0 0 22 May 2024
Cross-Input Certified Training for Universal Perturbations Changming Xu Gagandeep Singh AAML 33 2 0 15 May 2024
A Survey of Neural Network Robustness Assessment in Image Recognition Jie Wang Jun Ai Minyan Lu Haoran Su Dan Yu Yutao Zhang Junda Zhu Jingyu Liu AAML 30 3 0 12 Apr 2024
Improving deep learning with prior knowledge and cognitive models: A survey on enhancing explainability, adversarial robustness and zero-shot learning F. Mumuni A. Mumuni AAML 37 5 0 11 Mar 2024
Accelerated Smoothing: A Scalable Approach to Randomized Smoothing Devansh Bhardwaj Kshitiz Kaushik Sarthak Gupta AAML 37 0 0 12 Feb 2024
A Random Ensemble of Encrypted Vision Transformers for Adversarially Robust Defense Ryota Iijima Sayaka Shiota Hitoshi Kiya 36 6 0 11 Feb 2024
Trustworthy Distributed AI Systems: Robustness, Privacy, and Governance Wenqi Wei Ling Liu 31 16 0 02 Feb 2024
Set-Based Training for Neural Network Verification Lukas Koller Tobias Ladner Matthias Althoff AAML 51 1 0 26 Jan 2024
Towards Efficient Verification of Quantized Neural Networks Pei Huang Haoze Wu Yuting Yang Ieva Daukantas Min Wu Yedi Zhang Clark W. Barrett MQ 38 12 0 20 Dec 2023
Fast Certification of Vision-Language Models Using Incremental Randomized Smoothing Ashutosh Nirala Ameya Joshi Chinmay Hegde S Sarkar VLM 36 0 0 15 Nov 2023
On The Relationship Between Universal Adversarial Attacks And Sparse Representations Dana Weitzner Raja Giryes AAML 32 0 0 14 Nov 2023
DP-SGD with weight clipping Antoine Barczewski Jan Ramon 11 1 0 27 Oct 2023
PatchCURE: Improving Certifiable Robustness, Model Utility, and Computation Efficiency of Adversarial Patch Defenses Chong Xiang Tong Wu Sihui Dai Jonathan Petit Suman Jana Prateek Mittal 49 2 0 19 Oct 2023
Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks Brendon G. Anderson Samuel Pfrommer Somayeh Sojoudi OOD 34 1 0 07 Oct 2023
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 16 11 0 29 Sep 2023
When to Trust AI: Advances and Challenges for Certification of Neural Networks Marta Kwiatkowska Xiyue Zhang AAML 39 8 0 20 Sep 2023
Certifying LLM Safety against Adversarial Prompting Aounon Kumar Chirag Agarwal Suraj Srinivas Aaron Jiaxun Li S. Feizi Himabindu Lakkaraju AAML 27 167 0 06 Sep 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 27 6 0 20 Jul 2023
PAC bounds of continuous Linear Parameter-Varying systems related to neural ODEs Dániel Rácz Mihaly Petreczky Bálint Daróczy 57 0 0 07 Jul 2023
Group-based Robustness: A General Framework for Customized Robustness in the Real World Weiran Lin Keane Lucas Neo Eyal Lujo Bauer Michael K. Reiter Mahmood Sharif OOD AAML 42 1 0 29 Jun 2023
Structure-Aware Robustness Certificates for Graph Classification Pierre Osselin Henry Kenlay Xiaowen Dong 34 0 0 20 Jun 2023
Efficient Error Certification for Physics-Informed Neural Networks Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy Dvijotham Philip Torr M. P. Kumar PINN 26 1 0 17 May 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version) Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska AAML 36 7 0 05 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 33 0 29 Apr 2023
Certified Zeroth-order Black-Box Defense with Robust UNet Denoiser Astha Verma A. Subramanyam Siddhesh Bangar Naman Lal R. Shah Shiníchi Satoh 42 4 0 13 Apr 2023
Provable Robustness for Streaming Models with a Sliding Window Aounon Kumar Vinu Sankar Sadasivan S. Feizi OOD AAML AI4TS 19 1 0 28 Mar 2023
Diffusion Denoised Smoothing for Certified and Adversarial Robust Out-Of-Distribution Detection Nicola Franco Daniel Korth J. Lorenz Karsten Roscher Stephan Guennemann 30 5 0 27 Mar 2023
Optimal Smoothing Distribution Exploration for Backdoor Neutralization in Deep Learning-based Traffic Systems Yueya Wang Wending Li Michail Maniatakos Saif Eddin Jabari AAML 29 1 0 24 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 51 4 0 21 Mar 2023
Detection of Uncertainty in Exceedance of Threshold (DUET): An Adversarial Patch Localizer Terence Jie Chua Wen-li Yu Junfeng Zhao AAML UQCV 24 1 0 18 Mar 2023
Can Adversarial Examples Be Parsed to Reveal Victim Model Information? Yuguang Yao Jiancheng Liu Yifan Gong Xiaoming Liu Yanzhi Wang X. Lin Sijia Liu AAML MLAU 29 1 0 13 Mar 2023
A Unified Algebraic Perspective on Lipschitz Neural Networks Alexandre Araujo Aaron J. Havens Blaise Delattre A. Allauzen Bin Hu AAML 36 52 0 06 Mar 2023
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel 32 2 0 02 Mar 2023