Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
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
On visual self-supervision and its effect on model robustness
Michal Kucer
Diane Oyen
Garrett Kenyon
AAML
OOD
141
0
0
08 Dec 2021
Generalized Likelihood Ratio Test for Adversarially Robust Hypothesis Testing
IEEE Transactions on Signal Processing (IEEE TSP), 2021
Bhagyashree Puranik
Upamanyu Madhow
Ramtin Pedarsani
AAML
111
5
0
04 Dec 2021
On the Existence of the Adversarial Bayes Classifier (Extended Version)
Pranjal Awasthi
Natalie Frank
M. Mohri
421
28
0
03 Dec 2021
Certified Adversarial Defenses Meet Out-of-Distribution Corruptions: Benchmarking Robustness and Simple Baselines
Jiachen Sun
Akshay Mehra
B. Kailkhura
Pin-Yu Chen
Dan Hendrycks
Jihun Hamm
Z. Morley Mao
AAML
204
23
0
01 Dec 2021
Adv-4-Adv: Thwarting Changing Adversarial Perturbations via Adversarial Domain Adaptation
Tianyue Zheng
Zhe Chen
Shuya Ding
Chao Cai
Jun Luo
AAML
214
6
0
01 Dec 2021
Joint inference and input optimization in equilibrium networks
Neural Information Processing Systems (NeurIPS), 2021
Swaminathan Gurumurthy
Shaojie Bai
Zachary Manchester
J. Zico Kolter
200
20
0
25 Nov 2021
Subspace Adversarial Training
Tao Li
Yingwen Wu
Sizhe Chen
Kun Fang
Xiaolin Huang
AAML
OOD
291
67
0
24 Nov 2021
Resilience from Diversity: Population-based approach to harden models against adversarial attacks
Jasser Jasser
Ivan I. Garibay
AAML
172
2
0
19 Nov 2021
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
James Ferlez
Haitham Khedr
Yasser Shoukry
115
12
0
17 Nov 2021
SmoothMix: Training Confidence-calibrated Smoothed Classifiers for Certified Robustness
Jongheon Jeong
Sejun Park
Minkyu Kim
Heung-Chang Lee
Do-Guk Kim
Jinwoo Shin
AAML
193
64
0
17 Nov 2021
Adversarially Robust Learning for Security-Constrained Optimal Power Flow
Neural Information Processing Systems (NeurIPS), 2021
P. Donti
Aayushya Agarwal
Neeraj Vijay
J. Pileggi
Zico Kolter
AAML
119
22
0
12 Nov 2021
Sequential Randomized Smoothing for Adversarially Robust Speech Recognition
R. Olivier
Bhiksha Raj
AAML
379
11
0
05 Nov 2021
Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds
Neural Information Processing Systems (NeurIPS), 2021
Yujia Huang
Huan Zhang
Yuanyuan Shi
J Zico Kolter
Anima Anandkumar
241
94
0
02 Nov 2021
When Does Contrastive Learning Preserve Adversarial Robustness from Pretraining to Finetuning?
Neural Information Processing Systems (NeurIPS), 2021
Lijie Fan
Sijia Liu
Pin-Yu Chen
Gaoyuan Zhang
Chuang Gan
AAML
VLM
254
135
0
01 Nov 2021
Adversarial Robustness with Semi-Infinite Constrained Learning
Neural Information Processing Systems (NeurIPS), 2021
Avi Schwarzschild
Luiz F. O. Chamon
George J. Pappas
Hamed Hassani
Alejandro Ribeiro
AAML
OOD
298
49
0
29 Oct 2021
ε-weakened Robustness of Deep Neural Networks
International Symposium on Software Testing and Analysis (ISSTA), 2021
Pei Huang
Yuting Yang
Minghao Liu
Fuqi Jia
Feifei Ma
Jian Zhang
AAML
184
18
0
29 Oct 2021
10 Security and Privacy Problems in Large Foundation Models
Jinyuan Jia
Hongbin Liu
Neil Zhenqiang Gong
364
11
0
28 Oct 2021
ScaleCert: Scalable Certified Defense against Adversarial Patches with Sparse Superficial Layers
Husheng Han
Kaidi Xu
Xing Hu
Xiaobing Chen
Ling Liang
Zidong Du
Qi Guo
Yanzhi Wang
Yunji Chen
AAML
222
26
0
27 Oct 2021
A Frequency Perspective of Adversarial Robustness
Shishira R. Maiya
Max Ehrlich
Vatsal Agarwal
Ser-Nam Lim
Tom Goldstein
Abhinav Shrivastava
AAML
190
44
0
26 Oct 2021
Adversarial Attacks on ML Defense Models Competition
Yinpeng Dong
Qi-An Fu
Xiao Yang
Wenzhao Xiang
Tianyu Pang
...
Zhennan Wu
Yang Guo
Jiequan Cui
Xiaohan Li
Pengguang Chen
AAML
174
2
0
15 Oct 2021
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
Mark Niklas Muller
Marc Fischer
Robin Staab
Martin Vechev
188
3
0
14 Oct 2021
Boosting the Certified Robustness of L-infinity Distance Nets
Bohang Zhang
Du Jiang
Di He
Liwei Wang
OOD
310
33
0
13 Oct 2021
Model-Agnostic Meta-Attack: Towards Reliable Evaluation of Adversarial Robustness
Xiao Yang
Yinpeng Dong
Wenzhao Xiang
Tianyu Pang
Hang Su
Jun Zhu
AAML
126
4
0
13 Oct 2021
Certified Patch Robustness via Smoothed Vision Transformers
Computer Vision and Pattern Recognition (CVPR), 2021
Hadi Salman
Saachi Jain
Eric Wong
Aleksander Mkadry
AAML
192
66
0
11 Oct 2021
Intriguing Properties of Input-dependent Randomized Smoothing
International Conference on Machine Learning (ICML), 2021
Peter Súkeník
A. Kuvshinov
Stephan Günnemann
AAML
UQCV
198
25
0
11 Oct 2021
Adversarial Token Attacks on Vision Transformers
Ameya Joshi
Gauri Jagatap
Chinmay Hegde
ViT
193
22
0
08 Oct 2021
Improving Adversarial Robustness for Free with Snapshot Ensemble
Yihao Wang
AAML
UQCV
163
1
0
07 Oct 2021
Safe Control with Neural Network Dynamic Models
Tianhao Wei
Changliu Liu
195
37
0
03 Oct 2021
Calibrated Adversarial Training
Tianjin Huang
Vlado Menkovski
Yulong Pei
Mykola Pechenizkiy
AAML
224
3
0
01 Oct 2021
Neural Network Verification in Control
M. Everett
AAML
157
19
0
30 Sep 2021
Lyapunov-stable neural-network control
Hongkai Dai
Benoit Landry
Lujie Yang
Marco Pavone
Russ Tedrake
219
148
0
29 Sep 2021
Local Intrinsic Dimensionality Signals Adversarial Perturbations
IEEE Conference on Decision and Control (CDC), 2021
Sandamal Weerasinghe
T. Alpcan
S. Erfani
C. Leckie
Benjamin I. P. Rubinstein
AAML
100
1
0
24 Sep 2021
CC-Cert: A Probabilistic Approach to Certify General Robustness of Neural Networks
AAAI Conference on Artificial Intelligence (AAAI), 2021
Mikhail Aleksandrovich Pautov
Nurislam Tursynbek
Marina Munkhoeva
Nikita Muravev
Aleksandr Petiushko
Ivan Oseledets
AAML
161
22
0
22 Sep 2021
SoK: Machine Learning Governance
Varun Chandrasekaran
Hengrui Jia
Anvith Thudi
Adelin Travers
Mohammad Yaghini
Nicolas Papernot
272
20
0
20 Sep 2021
ROMAX: Certifiably Robust Deep Multiagent Reinforcement Learning via Convex Relaxation
Chuangchuang Sun
Dong-Ki Kim
Jonathan P. How
AAML
217
24
0
14 Sep 2021
Efficient Combinatorial Optimization for Word-level Adversarial Textual Attack
Shengcai Liu
Ning Lu
Cheng Chen
Ke Tang
AAML
325
36
0
06 Sep 2021
Shared Certificates for Neural Network Verification
International Conference on Computer Aided Verification (CAV), 2021
Marc Fischer
C. Sprecher
Dimitar I. Dimitrov
Gagandeep Singh
Martin Vechev
AAML
212
15
0
01 Sep 2021
Morphence: Moving Target Defense Against Adversarial Examples
Asia-Pacific Computer Systems Architecture Conference (ACSA), 2021
Abderrahmen Amich
Birhanu Eshete
AAML
254
28
0
31 Aug 2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
Stanley Bak
Changliu Liu
Taylor T. Johnson
NAI
205
119
0
31 Aug 2021
Integer-arithmetic-only Certified Robustness for Quantized Neural Networks
Haowen Lin
Jian Lou
Li Xiong
Cyrus Shahabi
MQ
AAML
130
17
0
21 Aug 2021
PatchCleanser: Certifiably Robust Defense against Adversarial Patches for Any Image Classifier
Chong Xiang
Saeed Mahloujifar
Prateek Mittal
VLM
AAML
277
96
0
20 Aug 2021
Neural Architecture Dilation for Adversarial Robustness
Yanxi Li
Zhaohui Yang
Yunhe Wang
Chang Xu
AAML
167
26
0
16 Aug 2021
Data Efficient Human Intention Prediction: Leveraging Neural Network Verification and Expert Guidance
Ruixuan Liu
Changliu Liu
AAML
183
1
0
16 Aug 2021
Neural Network Repair with Reachability Analysis
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2021
Xiaodong Yang
Tomochika Yamaguchi
Hoang-Dung Tran
Bardh Hoxha
Taylor T. Johnson
Danil Prokhorov
AAML
164
34
0
09 Aug 2021
Reachability Analysis of Neural Feedback Loops
IEEE Access (IEEE Access), 2021
M. Everett
Golnaz Habibi
Chuangchuang Sun
Jonathan P. How
133
68
0
09 Aug 2021
Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100
International Conference on Learning Representations (ICLR), 2021
Sahil Singla
Surbhi Singla
Soheil Feizi
AAML
220
71
0
05 Aug 2021
Certified Defense via Latent Space Randomized Smoothing with Orthogonal Encoders
Huimin Zeng
Jiahao Su
Furong Huang
AAML
107
4
0
01 Aug 2021
Advances in adversarial attacks and defenses in computer vision: A survey
Naveed Akhtar
Lin Wang
Navid Kardan
M. Shah
AAML
480
299
0
01 Aug 2021
Enhancing Adversarial Robustness via Test-time Transformation Ensembling
Juan C. Pérez
Motasem Alfarra
Guillaume Jeanneret
Laura Rueda
Ali K. Thabet
Guohao Li
Pablo Arbelaez
138
34
0
29 Jul 2021
Neural Network Branch-and-Bound for Neural Network Verification
Florian Jaeckle
Jingyue Lu
M. P. Kumar
266
9
0
27 Jul 2021
Previous
1
2
3
...
7
8
9
...
18
19
20
Next
Page 8 of 20
Page
of 20
Go
