v1v2v3 (latest)

Provable defenses against adversarial examples via the convex outer adversarial polytope

2 November 2017

Eric Wong

J. Zico Kolter

AAML

ArXiv (abs)PDF HTML Github (387★)

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

50 / 942 papers shown

Title
$Existence of Adversarial Examples for Random Convolutional Networks via Isoperimetric Inequalities on $\mathbb{so}(d)$$ Existence of Adversarial Examples for Random Convolutional Networks via Isoperimetric Inequalities on $\mathbb{so}(d)$ Amit Daniely 23 0 0 14 Jun 2025
On the Natural Robustness of Vision-Language Models Against Visual Perception Attacks in Autonomous Driving Pedram MohajerAnsari Amir Salarpour Michael Kuhr Siyu Huang Mohammad Hamad Sebastian Steinhorst Habeeb Olufowobi Mert D. Pesé AAML 12 0 0 13 Jun 2025
Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification Ryota Ueda Takami Sato Ken Kobayashi Kazuhide Nakata AAML 98 0 0 12 Jun 2025
Systematic and Efficient Construction of Quadratic Unconstrained Binary Optimization Forms for High-order and Dense Interactions Hyakka Nakada Shu Tanaka 44 0 0 10 Jun 2025
SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Hong-Ming Chiu Hao Chen Huan Zhang Richard Y. Zhang 15 0 0 07 Jun 2025
AdvSumm: Adversarial Training for Bias Mitigation in Text Summarization Mukur Gupta Nikhil Reddy Varimalla Nicholas Deas Melanie Subbiah Kathleen McKeown 51 0 0 06 Jun 2025
No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Attila Szász Balázs Bánhelyi Márk Jelasity 22 0 0 01 Jun 2025
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 105 0 0 02 May 2025
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
A Cryptographic Perspective on Mitigation vs. Detection in Machine Learning Greg Gluch Shafi Goldwasser AAML 135 0 0 28 Apr 2025
Support is All You Need for Certified VAE Training Changming Xu Debangshu Banerjee Deepak Vasisht Gagandeep Singh AAML 66 0 0 16 Apr 2025
Adversarial Examples in Environment Perception for Automated Driving (Review) Jun Yan Huilin Yin AAML 87 0 0 11 Apr 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
Enhancing Adversarial Example Detection Through Model Explanation Qian Ma Ziping Ye AAML 100 0 0 12 Mar 2025
Strengthening the Internal Adversarial Robustness in Lifted Neural Networks Christopher Zach AAML 87 0 0 10 Mar 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 86 0 0 08 Mar 2025
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis Long Kiu Chung Shreyas Kousik 526 0 0 22 Jan 2025
Adversarial Hubness in Multi-Modal Retrieval Tingwei Zhang Fnu Suya Rishi Jha Collin Zhang Vitaly Shmatikov AAML 169 1 0 18 Dec 2024
Learning Robust and Privacy-Preserving Representations via Information Theory Binghui Zhang Sayedeh Leila Noorbakhsh Yun Dong Yuan Hong Binghui Wang 157 0 0 15 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 172 1 0 12 Dec 2024
Pre-trained Multiple Latent Variable Generative Models are good defenders against Adversarial Attacks Dario Serez Marco Cristani Alessio Del Bue Vittorio Murino Pietro Morerio AAML 164 0 0 04 Dec 2024
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control Zhouxing Shi Cho-Jui Hsieh Huan Zhang 144 2 0 27 Nov 2024
Towards Secured Smart Grid 2.0: Exploring Security Threats, Protection Models, and Challenges Lan-Huong Nguyen V. Nguyen Ren-Hung Hwang Jian-Jhih Kuo Yu-Wen Chen Chien-Chung Huang Ping-I Pan 113 8 0 07 Nov 2024
Achieving Domain-Independent Certified Robustness via Knowledge Continuity Alan Sun Chiyu Ma Kenneth Ge Soroush Vosoughi 61 1 0 03 Nov 2024
Certified Robustness for Deep Equilibrium Models via Serialized Random Smoothing Weizhi Gao Zhichao Hou Han Xu Xiaorui Liu AAML 70 0 0 01 Nov 2024
DiffPAD: Denoising Diffusion-based Adversarial Patch Decontamination Jia Fu Xiao Zhang Sepideh Pashami Fatemeh Rahimian Anders Holst DiffM AAML 73 0 0 31 Oct 2024
Analyzing Neural Network Robustness Using Graph Curvature Shuhang Tan Jayson Sia Paul Bogdan Radoslav Ivanov 47 1 0 25 Oct 2024
Collaborative State Fusion in Partially Known Multi-agent Environments Tianlong Zhou Jun Shang Weixiong Rao 59 0 0 19 Oct 2024
Unitary Multi-Margin BERT for Robust Natural Language Processing Hao-Yuan Chang Kang L. Wang AAML 49 0 0 16 Oct 2024
Embedding Self-Correction as an Inherent Ability in Large Language Models for Enhanced Mathematical Reasoning Kuofeng Gao Huanqia Cai Qingyao Shuai Dihong Gong Zhifeng Li LRM ReLM 122 1 0 14 Oct 2024
Learning-Augmented Robust Algorithmic Recourse Kshitij Kayastha Vasilis Gkatzelis Shahin Jabbari 84 0 0 02 Oct 2024
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 108 1 0 02 Oct 2024
Characterizing Model Robustness via Natural Input Gradients Adrian Rodriguez-Munoz Tongzhou Wang Antonio Torralba AAML 85 1 0 30 Sep 2024
A Certified Robust Watermark For Large Language Models Xianheng Feng Jian Liu Kui Ren Chun Chen AAML WaLM 77 0 0 29 Sep 2024
Reassessing Noise Augmentation Methods in the Context of Adversarial Speech Karla Pizzi Matías Pizarro Asja Fischer 60 0 0 03 Sep 2024
Certified Causal Defense with Generalizable Robustness Yiran Qiao Yu Yin Chen Chen Jing Ma AAML OOD CML 177 0 0 28 Aug 2024
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation Ben Batten Yang Zheng Alessandro De Palma Panagiotis Kouvaros A. Lomuscio AAML 70 1 0 23 Aug 2024
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska Huan Zhang AAML 86 4 0 17 Aug 2024
Certifiably Robust Encoding Schemes Aman Saxena Tom Wollschlager Nicola Franco J. M. Lorenz Stephan Günnemann OOD AAML 78 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 100 1 0 01 Aug 2024
Adversarial Robustification via Text-to-Image Diffusion Models Daewon Choi Jongheon Jeong Huiwon Jang Jinwoo Shin DiffM 111 2 0 26 Jul 2024
How to beat a Bayesian adversary Zihan Ding Kexin Jin J. Latz Chenguang Liu AAML BDL 80 0 0 11 Jul 2024
Certified Continual Learning for Neural Network Regression Long H. Pham Jun Sun 119 2 0 09 Jul 2024
SPLITZ: Certifiable Robustness via Split Lipschitz Randomized Smoothing Meiyu Zhong Ravi Tandon 130 3 0 03 Jul 2024
Watch the Watcher! Backdoor Attacks on Security-Enhancing Diffusion Models Changjiang Li Ren Pang Bochuan Cao Jinghui Chen Fenglong Ma Shouling Ji Ting Wang DiffM 68 4 0 14 Jun 2024
CTBENCH: A Library and Benchmark for Certified Training Yuhao Mao Stefan Balauca Martin Vechev OOD 124 5 0 07 Jun 2024
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis Sina Sharifi Mahyar Fazlyab 94 0 0 06 Jun 2024
Distributional Adversarial Loss Saba Ahmadi Siddharth Bhandari Avrim Blum Chen Dan Prabhav Jain 79 0 0 05 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
CR-UTP: Certified Robustness against Universal Text Perturbations on Large Language Models Qian Lou Xin Liang Jiaqi Xue Yancheng Zhang Rui Xie Mengxin Zheng AAML 66 0 0 04 Jun 2024