Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1809.03008
Cited By
v1
v2
v3 (latest)
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability
9 September 2018
Kai Y. Xiao
Vincent Tjeng
Nur Muhammad (Mahi) Shafiullah
Aleksander Madry
AAML
OOD
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability"
50 / 123 papers shown
Lipschitz-aware Linearity Grafting for Certified Robustness
Yongjin Han
Suhyun Kim
AAML
181
0
0
29 Oct 2025
Compression Aware Certified Training
Changming Xu
Gagandeep Singh
224
0
0
13 Jun 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
307
0
0
16 Apr 2025
Lipschitz Constant Meets Condition Number: Learning Robust and Compact Deep Neural Networks
Yangqi Feng
S. J. Lin
Baoyuan Gao
Xian Wei
AAML
367
2
0
26 Mar 2025
Adversarial Robustification via Text-to-Image Diffusion Models
Daewon Choi
Jongheon Jeong
Huiwon Jang
Jinwoo Shin
DiffM
445
2
0
26 Jul 2024
Verifiable Boosted Tree Ensembles
Stefano Calzavara
Lorenzo Cazzaro
Claudio Lucchese
Giulio Ermanno Pibiri
AAML
297
2
0
22 Feb 2024
Harnessing Neuron Stability to Improve DNN Verification
Hai V. Duong
Dong Xu
ThanhVu Nguyen
Matthew B. Dwyer
226
18
0
19 Jan 2024
Optimization Over Trained Neural Networks: Taking a Relaxing Walk
Jiatai Tong
Junyang Cai
Thiago Serra
431
15
0
07 Jan 2024
Model-Based Control with Sparse Neural Dynamics
Ziang Liu
Genggeng Zhou
Jeff He
Tobia Marcucci
Fei-Fei Li
Jiajun Wu
Yunzhu Li
AI4CE
298
24
0
20 Dec 2023
The Pros and Cons of Adversarial Robustness
Yacine Izza
Sasha Rubin
AAML
258
1
0
18 Dec 2023
E2E-AT: A Unified Framework for Tackling Uncertainty in Task-aware End-to-end Learning
Wangkun Xu
Jianhong Wang
Fei Teng
172
5
0
17 Dec 2023
Vulnerability Analysis of Transformer-based Optical Character Recognition to Adversarial Attacks
Lucas Beerens
D. Higham
246
1
0
28 Nov 2023
On the Interplay of Convolutional Padding and Adversarial Robustness
Paul Gavrikov
J. Keuper
AAML
383
4
0
12 Aug 2023
A DPLL(T) Framework for Verifying Deep Neural Networks
Hai V. Duong
Thanh-Dat Nguyen
Matthew B. Dwyer
451
23
0
17 Jul 2023
A Theoretical Perspective on Subnetwork Contributions to Adversarial Robustness
Jovon Craig
Joshua Andle
Theodore S. Nowak
Salimeh Yasaei Sekeh
AAML
198
0
0
07 Jul 2023
Computational Asymmetries in Robust Classification
International Conference on Machine Learning (ICML), 2023
Samuele Marro
M. Lombardi
AAML
193
2
0
25 Jun 2023
Expressive Losses for Verified Robustness via Convex Combinations
International Conference on Learning Representations (ICLR), 2023
Alessandro De Palma
Rudy Bunel
Krishnamurthy Dvijotham
M. P. Kumar
Robert Stanforth
A. Lomuscio
AAML
466
26
0
23 May 2023
Verifiable Learning for Robust Tree Ensembles
Conference on Computer and Communications Security (CCS), 2023
Stefano Calzavara
Lorenzo Cazzaro
Giulio Ermanno Pibiri
N. Prezza
AAML
383
4
0
05 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey
Joey Huchette
Gonzalo Muñoz
Thiago Serra
Calvin Tsay
AI4CE
780
47
0
29 Apr 2023
DeepReShape: Redesigning Neural Networks for Efficient Private Inference
N. Jha
Brandon Reagen
400
16
0
20 Apr 2023
On the Robustness of Randomized Ensembles to Adversarial Perturbations
International Conference on Machine Learning (ICML), 2023
Hassan Dbouk
Naresh R Shanbhag
AAML
398
8
0
02 Feb 2023
Limitations of Piecewise Linearity for Efficient Robustness Certification
Klas Leino
AAML
215
6
0
21 Jan 2023
Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions
Integration of AI and OR Techniques in Constraint Programming (CPAIOR), 2023
Junyang Cai
Khai-Nguyen Nguyen
Nishant Shrestha
Aidan Good
Ruisen Tu
Xin Yu
Shandian Zhe
Thiago Serra
MLT
320
11
0
19 Jan 2023
Confidence-aware Training of Smoothed Classifiers for Certified Robustness
AAAI Conference on Artificial Intelligence (AAAI), 2022
Jongheon Jeong
Seojin Kim
Jinwoo Shin
AAML
448
11
0
18 Dec 2022
Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations
International Conference on Machine Learning (ICML), 2022
Hong-Ming Chiu
Richard Y. Zhang
AAML
274
4
0
30 Nov 2022
Towards Robust Dataset Learning
Yihan Wu
Xinda Li
Florian Kerschbaum
Heng Huang
Hongyang R. Zhang
DD
OOD
188
11
0
19 Nov 2022
Improving Adversarial Robustness via Joint Classification and Multiple Explicit Detection Classes
International Conference on Artificial Intelligence and Statistics (AISTATS), 2022
Sina Baharlouei
Fatemeh Sheikholeslami
Meisam Razaviyayn
Zico Kolter
AAML
238
6
0
26 Oct 2022
Pruning Adversarially Robust Neural Networks without Adversarial Examples
Industrial Conference on Data Mining (IDM), 2022
T. Jian
Zifeng Wang
Yanzhi Wang
Jennifer Dy
Stratis Ioannidis
AAML
VLM
236
16
0
09 Oct 2022
Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective
Neural Information Processing Systems (NeurIPS), 2022
Bohang Zhang
Du Jiang
Di He
Liwei Wang
OOD
469
82
0
04 Oct 2022
MultiGuard: Provably Robust Multi-label Classification against Adversarial Examples
Neural Information Processing Systems (NeurIPS), 2022
Jinyuan Jia
Wenjie Qu
Neil Zhenqiang Gong
OOD
175
22
0
03 Oct 2022
Emission-Aware Optimization of Gas Networks: Input-Convex Neural Network Approach
V. Dvorkin
Samuel C. Chevalier
Spyros Chatzivasileiadis
GNN
182
0
0
18 Sep 2022
A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables
Adrien Benamira
Tristan Guérand
Thomas Peyrin
Trevor Yap
Bryan Hooi
324
4
0
18 Aug 2022
Provably Adversarially Robust Nearest Prototype Classifiers
International Conference on Machine Learning (ICML), 2022
Václav Voráček
Matthias Hein
AAML
275
15
0
14 Jul 2022
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Alessandro De Palma
Rudy Bunel
Krishnamurthy Dvijotham
M. P. Kumar
Robert Stanforth
AAML
617
21
0
29 Jun 2022
Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness
International Conference on Machine Learning (ICML), 2022
Tianlong Chen
Huan Zhang
Zhenyu Zhang
Shiyu Chang
Sijia Liu
Pin-Yu Chen
Zinan Lin
AAML
275
18
0
15 Jun 2022
Can pruning improve certified robustness of neural networks?
Zhangheng Li
Tianlong Chen
Linyi Li
Yue Liu
Zinan Lin
AAML
291
17
0
15 Jun 2022
On the Properties of Adversarially-Trained CNNs
Mattia Carletti
M. Terzi
Gian Antonio Susto
AAML
175
1
0
17 Mar 2022
On the Convergence of Certified Robust Training with Interval Bound Propagation
International Conference on Learning Representations (ICLR), 2022
Yihan Wang
Zhouxing Shi
Quanquan Gu
Cho-Jui Hsieh
204
11
0
16 Mar 2022
Closing the Loop: A Framework for Trustworthy Machine Learning in Power Systems
Jochen Stiasny
Samuel C. Chevalier
Rahul Nellikkath
Brynjar Sævarsson
Spyros Chatzivasileiadis
298
19
0
14 Mar 2022
Optimizing over an ensemble of neural networks
Keliang Wang
Leonardo Lozano
C. Cardonha
David Bergman
UQCV
282
1
0
13 Dec 2021
The Fundamental Limits of Interval Arithmetic for Neural Networks
M. Mirman
Maximilian Baader
Martin Vechev
186
8
0
09 Dec 2021
Adaptive Image Transformations for Transfer-based Adversarial Attack
European Conference on Computer Vision (ECCV), 2021
Zheng Yuan
Jie Zhang
Shiguang Shan
OOD
387
41
0
27 Nov 2021
Resilience from Diversity: Population-based approach to harden models against adversarial attacks
Jasser Jasser
Ivan I. Garibay
AAML
208
2
0
19 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
243
65
0
17 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
288
97
0
02 Nov 2021
Boosting the Certified Robustness of L-infinity Distance Nets
Bohang Zhang
Du Jiang
Di He
Liwei Wang
OOD
392
35
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
221
68
0
11 Oct 2021
Impact of Attention on Adversarial Robustness of Image Classification Models
Prachi Agrawal
Narinder Singh Punn
S. K. Sonbhadra
Sonali Agarwal
AAML
224
7
0
02 Sep 2021
Advances in adversarial attacks and defenses in computer vision: A survey
Naveed Akhtar
Lin Wang
Navid Kardan
M. Shah
AAML
543
313
0
01 Aug 2021
Relaxing Local Robustness
Neural Information Processing Systems (NeurIPS), 2021
Klas Leino
Matt Fredrikson
AAML
138
10
0
11 Jun 2021
1
2
3
Next
Page 1 of 3
