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
Adversarial Defenses via Vector Quantization
Neurocomputing (Neurocomputing), 2023
Zhiyi Dong
Yongyi Mao
AAML
165
1
0
23 May 2023
Annealing Self-Distillation Rectification Improves Adversarial Training
International Conference on Learning Representations (ICLR), 2023
Yuehua Wu
Hung-Jui Wang
Shang-Tse Chen
AAML
270
6
0
20 May 2023
Efficient Error Certification for Physics-Informed Neural Networks
International Conference on Machine Learning (ICML), 2023
Francisco Eiras
Adel Bibi
Rudy Bunel
Krishnamurthy Dvijotham
Juil Sock
M. P. Kumar
PINN
305
4
0
17 May 2023
TAPS: Connecting Certified and Adversarial Training
Neural Information Processing Systems (NeurIPS), 2023
Yuhao Mao
Mark Niklas Muller
Marc Fischer
Martin Vechev
AAML
282
12
0
08 May 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version)
International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2023
Xiyue Zhang
Benjie Wang
Marta Z. Kwiatkowska
AAML
277
13
0
05 May 2023
Efficient MILP Decomposition in Quantum Computing for ReLU Network Robustness
International Conference on Quantum Computing and Engineering (QCE), 2023
Nicola Franco
Thomas Wollschläger
Benedikt Poggel
Stephan Günnemann
J. Lorenz
149
9
0
30 Apr 2023
When Deep Learning Meets Polyhedral Theory: A Survey
Joey Huchette
Gonzalo Muñoz
Thiago Serra
Calvin Tsay
AI4CE
672
44
0
29 Apr 2023
Certifying Ensembles: A General Certification Theory with S-Lipschitzness
International Conference on Machine Learning (ICML), 2023
Aleksandar Petrov
Francisco Eiras
Amartya Sanyal
Juil Sock
Adel Bibi
UQCV
224
1
0
25 Apr 2023
Certified Adversarial Robustness Within Multiple Perturbation Bounds
Soumalya Nandi
Sravanti Addepalli
Harsh Rangwani
R. Venkatesh Babu
AAML
164
3
0
20 Apr 2023
GREAT Score: Global Robustness Evaluation of Adversarial Perturbation using Generative Models
Neural Information Processing Systems (NeurIPS), 2023
Zaitang Li
Pin-Yu Chen
Tsung-Yi Ho
AAML
DiffM
204
6
0
19 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
210
2
0
17 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
312
8
0
13 Apr 2023
Certifiable Black-Box Attacks with Randomized Adversarial Examples: Breaking Defenses with Provable Confidence
Conference on Computer and Communications Security (CCS), 2023
Hanbin Hong
Xinyu Zhang
Binghui Wang
Zhongjie Ba
Yuan Hong
AAML
280
6
0
10 Apr 2023
Hybrid Zonotopes Exactly Represent ReLU Neural Networks
IEEE Conference on Decision and Control (CDC), 2023
Joshua Ortiz
Alyssa Vellucci
Justin P. Koeln
Justin Ruths
200
15
0
05 Apr 2023
A Certified Radius-Guided Attack Framework to Image Segmentation Models
European Symposium on Security and Privacy (Euro S&P), 2023
Wenjie Qu
Youqi Li
Binghui Wang
AAML
192
5
0
05 Apr 2023
Hyper-parameter Tuning for Adversarially Robust Models
Pedro Mendes
Paolo Romano
David Garlan
AAML
213
2
0
05 Apr 2023
Incremental Verification of Neural Networks
Shubham Ugare
Debangshu Banerjee
Sasa Misailovic
Gagandeep Singh
232
21
0
04 Apr 2023
Model-Agnostic Reachability Analysis on Deep Neural Networks
Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD), 2023
Chi Zhang
Wenjie Ruan
Fu Lee Wang
Peipei Xu
Geyong Min
Xiaowei Huang
178
3
0
03 Apr 2023
Provable Robustness for Streaming Models with a Sliding Window
Aounon Kumar
Vinu Sankar Sadasivan
Soheil Feizi
OOD
AAML
AI4TS
227
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
169
6
0
27 Mar 2023
Optimal Smoothing Distribution Exploration for Backdoor Neutralization in Deep Learning-based Traffic Systems
Australian and New Zealand Control Conference (ANZCC), 2023
Yueya Wang
Wending Li
Michail Maniatakos
Saif Eddin Jabari
AAML
145
1
0
24 Mar 2023
Efficient Symbolic Reasoning for Neural-Network Verification
Zi Wang
S. Jha
Krishnamurthy Dvijotham
Dvijotham
AAML
NAI
267
2
0
23 Mar 2023
Optimization and Optimizers for Adversarial Robustness
Hengyue Liang
Buyun Liang
Le Peng
Ying Cui
Tim Mitchell
Ju Sun
AAML
233
7
0
23 Mar 2023
Revisiting DeepFool: generalization and improvement
Alireza Abdollahpourrostam
Mahed Abroshan
Seyed-Mohsen Moosavi-Dezfooli
AAML
257
2
0
22 Mar 2023
Distribution-restrained Softmax Loss for the Model Robustness
Hao Wang
Chen Li
Jinzhe Jiang
Xin Zhang
Yaqian Zhao
Weifeng Gong
OOD
183
2
0
22 Mar 2023
Boosting Verified Training for Robust Image Classifications via Abstraction
Computer Vision and Pattern Recognition (CVPR), 2023
Zhaodi Zhang
Zhiyi Xue
Yang Chen
Si Liu
Yueling Zhang
Qingbin Liu
Min Zhang
224
9
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
205
2
0
18 Mar 2023
Can Adversarial Examples Be Parsed to Reveal Victim Model Information?
IEEE Workshop/Winter Conference on Applications of Computer Vision (WACV), 2023
Yuguang Yao
Jiancheng Liu
Yifan Gong
Xiaoming Liu
Yanzhi Wang
Xinyu Lin
Sijia Liu
AAML
MLAU
265
1
0
13 Mar 2023
Do we need entire training data for adversarial training?
Vipul Gupta
Apurva Narayan
AAML
206
2
0
10 Mar 2023
A Unified Algebraic Perspective on Lipschitz Neural Networks
International Conference on Learning Representations (ICLR), 2023
Alexandre Araujo
Aaron J. Havens
Blaise Delattre
A. Allauzen
Bin Hu
AAML
268
63
0
06 Mar 2023
Convex Bounds on the Softmax Function with Applications to Robustness Verification
International Conference on Artificial Intelligence and Statistics (AISTATS), 2023
Dennis L. Wei
Haoze Wu
Min Wu
Pin-Yu Chen
Clark W. Barrett
E. Farchi
UQCV
AAML
106
12
0
03 Mar 2023
The Double-Edged Sword of Implicit Bias: Generalization vs. Robustness in ReLU Networks
Neural Information Processing Systems (NeurIPS), 2023
Spencer Frei
Gal Vardi
Peter L. Bartlett
Nathan Srebro
207
20
0
02 Mar 2023
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction
AAAI Conference on Artificial Intelligence (AAAI), 2023
Kshitij Goyal
Sebastijan Dumancic
Hendrik Blockeel
295
7
0
02 Mar 2023
Adversarial Examples Exist in Two-Layer ReLU Networks for Low Dimensional Linear Subspaces
Neural Information Processing Systems (NeurIPS), 2023
Odelia Melamed
Gilad Yehudai
Gal Vardi
GAN
217
5
0
01 Mar 2023
A Comprehensive Study on Robustness of Image Classification Models: Benchmarking and Rethinking
International Journal of Computer Vision (IJCV), 2023
Yu Xie
Yinpeng Dong
Wenzhao Xiang
Xiaohu Yang
Hang Su
Junyi Zhu
YueFeng Chen
Yuan He
H. Xue
Shibao Zheng
OOD
VLM
AAML
326
117
0
28 Feb 2023
Less is More: Data Pruning for Faster Adversarial Training
Yize Li
Pu Zhao
Xinyu Lin
B. Kailkhura
Ryan Goldh
AAML
281
14
0
23 Feb 2023
Seasoning Model Soups for Robustness to Adversarial and Natural Distribution Shifts
Computer Vision and Pattern Recognition (CVPR), 2023
Francesco Croce
Sylvestre-Alvise Rebuffi
Evan Shelhamer
Sven Gowal
AAML
204
21
0
20 Feb 2023
Exploring and Exploiting Decision Boundary Dynamics for Adversarial Robustness
International Conference on Learning Representations (ICLR), 2023
Yuancheng Xu
Yanchao Sun
Micah Goldblum
Tom Goldstein
Furong Huang
AAML
334
47
0
06 Feb 2023
Asymmetric Certified Robustness via Feature-Convex Neural Networks
Neural Information Processing Systems (NeurIPS), 2023
Samuel Pfrommer
Brendon G. Anderson
Julien Piet
Somayeh Sojoudi
AAML
236
9
0
03 Feb 2023
Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent Kernels
International Conference on Machine Learning (ICML), 2023
Simone Bombari
Shayan Kiyani
Marco Mondelli
AAML
444
11
0
03 Feb 2023
Provably Bounding Neural Network Preimages
Neural Information Processing Systems (NeurIPS), 2023
Suhas Kotha
Christopher Brix
Zico Kolter
Krishnamurthy Dvijotham
Huan Zhang
AAML
478
23
0
02 Feb 2023
RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion
Neural Information Processing Systems (NeurIPS), 2023
Zhuoqun Huang
Neil G. Marchant
Keane Lucas
Lujo Bauer
O. Ohrimenko
Benjamin I. P. Rubinstein
AAML
396
20
0
31 Jan 2023
Unlocking Deterministic Robustness Certification on ImageNet
Neural Information Processing Systems (NeurIPS), 2023
Kaiqin Hu
Andy Zou
Zifan Wang
Klas Leino
Matt Fredrikson
OOD
377
15
0
29 Jan 2023
Vertex-based reachability analysis for verifying ReLU deep neural networks
João G. Zago
E. Camponogara
Eric A. Antonelo
AAML
214
3
0
27 Jan 2023
Certified Invertibility in Neural Networks via Mixed-Integer Programming
Conference on Learning for Dynamics & Control (L4DC), 2023
Tianqi Cui
Tom S. Bertalan
George J. Pappas
M. Morari
Ioannis G. Kevrekidis
Mahyar Fazlyab
AAML
188
3
0
27 Jan 2023
Direct Parameterization of Lipschitz-Bounded Deep Networks
International Conference on Machine Learning (ICML), 2023
Ruigang Wang
I. Manchester
418
56
0
27 Jan 2023
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation
Chenxi Yang
Greg Anderson
Swarat Chaudhuri
214
2
0
26 Jan 2023
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks
International Conference on Machine Learning (ICML), 2023
David Boetius
Stefan Leue
Tobias Sutter
240
4
0
26 Jan 2023
Limitations of Piecewise Linearity for Efficient Robustness Certification
Klas Leino
AAML
151
6
0
21 Jan 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers
Conference on Learning for Dynamics & Control (L4DC), 2023
Saber Jafarpour
Akash Harapanahalli
Samuel Coogan
178
11
0
19 Jan 2023
Previous
1
2
3
4
5
...
18
19
20
Next
