Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
All Papers
0 / 0 papers shown
Title
Home
Papers
1711.00851
Cited By
v1
v2
v3 (latest)
Provable defenses against adversarial examples via the convex outer adversarial polytope
2 November 2017
Eric Wong
J. Zico Kolter
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Github (387★)
Papers citing
"Provable defenses against adversarial examples via the convex outer adversarial polytope"
50 / 957 papers shown
Title
Dual Randomized Smoothing: Beyond Global Noise Variance
Chenhao Sun
Yuhao Mao
Martin Vechev
AAML
184
0
0
01 Dec 2025
Faster Verified Explanations for Neural Networks
Alessandro De Palma
Greta Dolcetti
Caterina Urban
FAtt
193
0
0
28 Nov 2025
Towards Trustworthy Wi-Fi Sensing: Systematic Evaluation of Deep Learning Model Robustness to Adversarial Attacks
Shreevanth Krishnaa Gopalakrishnan
Stephen Hailes
AAML
OOD
176
0
0
25 Nov 2025
Lipschitz-aware Linearity Grafting for Certified Robustness
Yongjin Han
Suhyun Kim
AAML
64
0
0
29 Oct 2025
Towards Strong Certified Defense with Universal Asymmetric Randomization
Hanbin Hong
Ashish Kundu
Ali Payani
Binghui Wang
Yuan Hong
AAML
112
0
0
22 Oct 2025
Just-In-Time Piecewise-Linear Semantics for ReLU-type Networks
Hongyi Duan
Haoyang Liu
Jianan Zhang
Fengrui Liu
Yiyi Wang
44
0
0
20 Oct 2025
Adversarial Attacks Leverage Interference Between Features in Superposition
Edward Stevinson
Lucas Prieto
Melih Barsbey
Tolga Birdal
AAML
96
0
0
13 Oct 2025
Tight Robustness Certificates and Wasserstein Distributional Attacks for Deep Neural Networks
Bach C. Le
Tung V. Dao
Binh T. Nguyen
Hong T.M. Chu
OOD
153
0
0
11 Oct 2025
On the Adversarial Robustness of Learning-based Conformal Novelty Detection
Daofu Zhang
Mehrdad Pournaderi
Hanne M. Clifford
Yu Xiang
Pramod K. Varshney
AAML
68
0
0
01 Oct 2025
Reconcile Certified Robustness and Accuracy for DNN-based Smoothed Majority Vote Classifier
Gaojie Jin
Xinping Yi
Xiaowei Huang
AAML
105
1
0
30 Sep 2025
Optimal Robust Recourse with
L
p
L^p
L
p
-Bounded Model Change
Phone Kyaw
Kshitij Kayastha
Shahin Jabbari
105
0
0
25 Sep 2025
Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation
Paul Hamelbeck
Johannes Schiffer
AAML
85
0
0
22 Sep 2025
Randomized Smoothing Meets Vision-Language Models
Emmanouil Seferis
Changshun Wu
Stefanos D. Kollias
Saddek Bensalem
Chih-Hong Cheng
AAML
96
0
0
19 Sep 2025
Robustifying Diffusion-Denoised Smoothing Against Covariate Shift
Ali Hedayatnia
Mostafa Tavassolipour
Babak N. Araabi
A. Vahabie
DiffM
89
0
0
13 Sep 2025
Existence of Adversarial Examples for Random Convolutional Networks via Isoperimetric Inequalities on
s
o
(
d
)
\mathbb{so}(d)
so
(
d
)
Annual Conference Computational Learning Theory (COLT), 2025
Amit Daniely
139
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
132
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
232
0
0
12 Jun 2025
Systematic and Efficient Construction of Quadratic Unconstrained Binary Optimization Forms for High-order and Dense Interactions
Journal of the Physical Society of Japan (JPSJ), 2025
Hyakka Nakada
Shu Tanaka
158
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
113
3
0
07 Jun 2025
AdvSumm: Adversarial Training for Bias Mitigation in Text Summarization
Mukur Gupta
Nikhil Reddy Varimalla
Nicholas Deas
Melanie Subbiah
Kathleen McKeown
230
2
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
114
2
0
01 Jun 2025
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
Design, Automation and Test in Europe (DATE), 2025
Kota Fukuda
Guanqin Zhang
Zhenya Zhang
Yulei Sui
Jianjun Zhao
302
1
0
02 May 2025
A General Framework for Property-Driven Machine Learning
Thomas Flinkow
Marco Casadio
Colin Kessler
Rosemary Monahan
Ekaterina Komendantskaya
AAML
394
2
0
01 May 2025
A Cryptographic Perspective on Mitigation vs. Detection in Machine Learning
Greg Gluch
Shafi Goldwasser
AAML
395
0
0
28 Apr 2025
Support is All You Need for Certified VAE Training
International Conference on Learning Representations (ICLR), 2025
Changming Xu
Debangshu Banerjee
Deepak Vasisht
Gagandeep Singh
AAML
242
0
0
16 Apr 2025
Adversarial Examples in Environment Perception for Automated Driving (Review)
Jun Yan
Huilin Yin
AAML
240
1
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
240
0
0
21 Mar 2025
Enhancing Adversarial Example Detection Through Model Explanation
Qian Ma
Ziping Ye
AAML
196
0
0
12 Mar 2025
Strengthening the Internal Adversarial Robustness in Lifted Neural Networks
Christopher Zach
AAML
158
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
287
0
0
08 Mar 2025
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis
Long Kiu Chung
Shreyas Kousik
929
1
0
22 Jan 2025
Adversarial Hubness in Multi-Modal Retrieval
Tingwei Zhang
Fnu Suya
Rishi Jha
Collin Zhang
Vitaly Shmatikov
AAML
504
3
0
18 Dec 2024
Learning Robust and Privacy-Preserving Representations via Information Theory
AAAI Conference on Artificial Intelligence (AAAI), 2024
Binghui Zhang
Sayedeh Leila Noorbakhsh
Yun Dong
Yuan Hong
Binghui Wang
352
2
0
15 Dec 2024
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics
International Conference on Learning Representations (ICLR), 2024
Keyi Shen
Jiangwei Yu
Huan Zhang
Yunzhu Li
Yunzhu Li
548
2
0
12 Dec 2024
Pre-trained Multiple Latent Variable Generative Models are good defenders against Adversarial Attacks
IEEE Workshop/Winter Conference on Applications of Computer Vision (WACV), 2024
Dario Serez
Marco Cristani
Alessio Del Bue
Vittorio Murino
Pietro Morerio
AAML
357
1
0
04 Dec 2024
Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
Zhouxing Shi
Cho-Jui Hsieh
Huan Zhang
H. Zhang
347
2
0
27 Nov 2024
Towards Secured Smart Grid 2.0: Exploring Security Threats, Protection Models, and Challenges
IEEE Communications Surveys and Tutorials (COMST), 2024
Lan-Huong Nguyen
V. Nguyen
Ren-Hung Hwang
Jian-Jhih Kuo
Yu-Wen Chen
Chien-Chung Huang
Ping-I Pan
390
22
0
07 Nov 2024
Achieving Domain-Independent Certified Robustness via Knowledge Continuity
Neural Information Processing Systems (NeurIPS), 2024
Alan Sun
Chiyu Ma
Kenneth Ge
Soroush Vosoughi
259
2
0
03 Nov 2024
Certified Robustness for Deep Equilibrium Models via Serialized Random Smoothing
Neural Information Processing Systems (NeurIPS), 2024
Weizhi Gao
Zhichao Hou
Han Xu
Xiaorui Liu
AAML
217
0
0
01 Nov 2024
DiffPAD: Denoising Diffusion-based Adversarial Patch Decontamination
IEEE Workshop/Winter Conference on Applications of Computer Vision (WACV), 2024
Jia Fu
Xiao Zhang
Sepideh Pashami
Fatemeh Rahimian
Anders Holst
DiffM
AAML
261
1
0
31 Oct 2024
Analyzing Neural Network Robustness Using Graph Curvature
International Conference on Applied Algorithms (ICAA), 2024
Shuhang Tan
Jayson Sia
Paul Bogdan
Radoslav Ivanov
137
2
0
25 Oct 2024
Collaborative State Fusion in Partially Known Multi-agent Environments
Tianlong Zhou
Jun Shang
Weixiong Rao
115
0
0
19 Oct 2024
Unitary Multi-Margin BERT for Robust Natural Language Processing
Hao-Yuan Chang
Kang L. Wang
AAML
139
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
198
1
0
14 Oct 2024
On Using Certified Training towards Empirical Robustness
Alessandro De Palma
Serge Durand
Zakaria Chihani
François Terrier
Caterina Urban
OOD
AAML
304
2
0
02 Oct 2024
Learning-Augmented Robust Algorithmic Recourse
Kshitij Kayastha
Vasilis Gkatzelis
Shahin Jabbari
291
1
0
02 Oct 2024
Characterizing Model Robustness via Natural Input Gradients
European Conference on Computer Vision (ECCV), 2024
Adrian Rodriguez-Munoz
Tongzhou Wang
Antonio Torralba
AAML
206
2
0
30 Sep 2024
A Certified Robust Watermark For Large Language Models
Xianheng Feng
Jian Liu
Kui Ren
Chun Chen
AAML
WaLM
207
1
0
29 Sep 2024
Comparative Study on Noise-Augmented Training and its Effect on Adversarial Robustness in ASR Systems
Computer Speech and Language (CSL), 2024
Karla Pizzi
Matías P. Pizarro
Asja Fischer
271
1
0
03 Sep 2024
Certified Causal Defense with Generalizable Robustness
AAAI Conference on Artificial Intelligence (AAAI), 2024
Yiran Qiao
Yu Yin
Chen Chen
Jing Ma
AAML
OOD
CML
435
0
0
28 Aug 2024
1
2
3
4
...
18
19
20
Next
