Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2210.04871
Cited By
v1
v2 (latest)
Certified Training: Small Boxes are All You Need
International Conference on Learning Representations (ICLR), 2022
10 October 2022
Mark Niklas Muller
Franziska Eckert
Marc Fischer
Martin Vechev
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Github (11★)
Papers citing
"Certified Training: Small Boxes are All You Need"
37 / 37 papers shown
BEAVER: An Efficient Deterministic LLM Verifier
Tarun Suresh
Nalin Wadhwa
Debangshu Banerjee
Gagandeep Singh
51
1
0
05 Dec 2025
Dual Randomized Smoothing: Beyond Global Noise Variance
Chenhao Sun
Yuhao Mao
Martin Vechev
AAML
336
1
0
01 Dec 2025
Adversarial Attacks Leverage Interference Between Features in Superposition
Edward Stevinson
Lucas Prieto
Melih Barsbey
Tolga Birdal
AAML
139
3
0
13 Oct 2025
Compression Aware Certified Training
Changming Xu
Gagandeep Singh
228
0
0
13 Jun 2025
Enhancing Certified Robustness via Block Reflector Orthogonal Layers and Logit Annealing Loss
Bo-Han Lai
Pin-Han Huang
Bo-Han Kung
Shang-Tse Chen
358
4
0
21 May 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
312
0
0
16 Apr 2025
Defending against Adversarial Malware Attacks on ML-based Android Malware Detection Systems
Ping He
Lorenzo Cavallaro
R. Beyah
AAML
459
3
0
23 Jan 2025
Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
Zhouxing Shi
Cho-Jui Hsieh
Huan Zhang
H. Zhang
AAML
514
2
0
27 Nov 2024
Average Certified Radius is a Poor Metric for Randomized Smoothing
Chenhao Sun
Yuhao Mao
Mark Niklas Muller
Martin Vechev
AAML
679
3
0
09 Oct 2024
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
Conference on Robot Learning (CoRL), 2024
Hanjiang Hu
Yujie Yang
Tianhao Wei
Changliu Liu
AAML
306
23
0
04 Oct 2024
Towards Generalized Certified Robustness with Multi-Norm Training
Enyi Jiang
Gagandeep Singh
Gagandeep Singh
AAML
ELM
634
2
0
03 Oct 2024
On Using Certified Training towards Empirical Robustness
Alessandro De Palma
Serge Durand
Zakaria Chihani
François Terrier
Caterina Urban
OOD
AAML
460
3
0
02 Oct 2024
Data-Driven Lipschitz Continuity: A Cost-Effective Approach to Improve Adversarial Robustness
Erh-Chung Chen
Pin-Yu Chen
I-Hsin Chung
Che-Rung Lee
345
4
0
28 Jun 2024
Certification for Differentially Private Prediction in Gradient-Based Training
Matthew Wicker
Philip Sosnin
Igor Shilov
Adrianna Janik
Mark N. Müller
Yves-Alexandre de Montjoye
Adrian Weller
Calvin Tsay
MU
397
1
0
19 Jun 2024
Certified Robustness to Data Poisoning in Gradient-Based Training
Philip Sosnin
Mark N. Müller
Maximilian Baader
Calvin Tsay
Matthew Wicker
AAML
SILM
321
19
0
09 Jun 2024
CTBENCH: A Library and Benchmark for Certified Training
Yuhao Mao
Stefan Balauca
Martin Vechev
OOD
669
11
0
07 Jun 2024
How Does Bayes Error Limit Probabilistic Robust Accuracy
Ruihan Zhang
Jun Sun
AAML
262
3
0
23 May 2024
Towards Certification of Uncertainty Calibration under Adversarial Attacks
Cornelius Emde
Francesco Pinto
Thomas Lukasiewicz
Juil Sock
Adel Bibi
AAML
603
2
0
22 May 2024
Certified Robust Accuracy of Neural Networks Are Bounded due to Bayes Errors
International Conference on Computer Aided Verification (CAV), 2024
Ruihan Zhang
Jun Sun
AAML
309
8
0
19 May 2024
Cross-Input Certified Training for Universal Perturbations
European Conference on Computer Vision (ECCV), 2024
Changming Xu
Gagandeep Singh
AAML
378
2
0
15 May 2024
Towards Precise Observations of Neural Model Robustness in Classification
Wenchuan Mu
Kwan Hui Lim
AAML
251
1
0
25 Apr 2024
Is Adversarial Training with Compressed Datasets Effective?
Tong Chen
Raghavendra Selvan
AAML
649
1
0
08 Feb 2024
Set-Based Training for Neural Network Verification
Lukas Koller
Tobias Ladner
Matthias Althoff
AAML
439
8
0
26 Jan 2024
Raze to the Ground: Query-Efficient Adversarial HTML Attacks on Machine-Learning Phishing Webpage Detectors
Giuseppe Floris
Christian Scano
Maura Pintor
Luca Demetrio
Davide Balzarotti
Battista Biggio
AAML
265
12
0
04 Oct 2023
Towards Certified Probabilistic Robustness with High Accuracy
Ruihan Zhang
Peixin Zhang
Jun Sun
AAML
305
2
0
02 Sep 2023
Adaptive Certified Training: Towards Better Accuracy-Robustness Tradeoffs
Zhakshylyk Nurlanov
Frank R. Schmidt
Florian Bernard
OOD
218
0
0
24 Jul 2023
Understanding Certified Training with Interval Bound Propagation
International Conference on Learning Representations (ICLR), 2023
Yuhao Mao
Mark Niklas Muller
Marc Fischer
Martin Vechev
AAML
460
24
0
17 Jun 2023
How robust accuracy suffers from certified training with convex relaxations
Piersilvio De Bartolomeis
Jacob Clarysse
Amartya Sanyal
Fanny Yang
AAML
226
2
0
12 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
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation
AAAI Conference on Artificial Intelligence (AAAI), 2023
Haitham Khedr
Yasser Shoukry
238
8
0
22 May 2023
TAPS: Connecting Certified and Adversarial Training
Neural Information Processing Systems (NeurIPS), 2023
Yuhao Mao
Mark Niklas Muller
Marc Fischer
Martin Vechev
AAML
340
14
0
08 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
389
4
0
05 May 2023
Efficient Certified Training and Robustness Verification of Neural ODEs
International Conference on Learning Representations (ICLR), 2023
Mustafa Zeqiri
Mark Niklas Muller
Marc Fischer
Martin Vechev
AAML
331
4
0
09 Mar 2023
PECAN: A Deterministic Certified Defense Against Backdoor Attacks
Yuhao Zhang
Aws Albarghouthi
Loris Dántoni
AAML
387
4
0
27 Jan 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
International Journal on Software Tools for Technology Transfer (STTT) (STTT), 2023
Christopher Brix
Mark Niklas Muller
Stanley Bak
Taylor T. Johnson
Changliu Liu
NAI
310
85
0
14 Jan 2023
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
AAAI Conference on Artificial Intelligence (AAAI), 2022
Mathias Lechner
Dorde Zikelic
K. Chatterjee
T. Henzinger
Daniela Rus
AAML
259
4
0
29 Nov 2022
SoK: Certified Robustness for Deep Neural Networks
IEEE Symposium on Security and Privacy (IEEE S&P), 2020
Linyi Li
Tao Xie
Yue Liu
AAML
875
151
0
09 Sep 2020
1
Page 1 of 1
