Fast Certified Robust Training with Short Warmup

v1v2v3v4 (latest)

Fast Certified Robust Training with Short Warmup

31 March 2021

ArXiv (abs)PDF HTML Github (24★)

Papers citing "Fast Certified Robust Training with Short Warmup"

18 / 18 papers shown

Title
Compression Aware Certified Training Changming Xu Gagandeep Singh 13 0 0 13 Jun 2025
Support is All You Need for Certified VAE Training Changming Xu Debangshu Banerjee Deepak Vasisht Gagandeep Singh AAML 66 0 0 16 Apr 2025
Defending against Adversarial Malware Attacks on ML-based Android Malware Detection Systems Ping He Lorenzo Cavallaro Shouling Ji AAML 209 0 0 23 Jan 2025
Average Certified Radius is a Poor Metric for Randomized Smoothing Chenhao Sun Yuhao Mao Mark Niklas Muller Martin Vechev AAML 107 0 0 09 Oct 2024
Make Interval Bound Propagation great again Patryk Krukowski Daniel Wilczak Jacek Tabor Anna Bielawska Przemysław Spurek OOD AAML 76 0 0 04 Oct 2024
Towards Universal Certified Robustness with Multi-Norm Training Enyi Jiang Gagandeep Singh Gagandeep Singh AAML 134 1 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 105 1 0 02 Oct 2024
CTBENCH: A Library and Benchmark for Certified Training Yuhao Mao Stefan Balauca Martin Vechev OOD 124 5 0 07 Jun 2024
Cross-Input Certified Training for Universal Perturbations Changming Xu Gagandeep Singh AAML 64 2 0 15 May 2024
Set-Based Training for Neural Network Verification Lukas Koller Tobias Ladner Matthias Althoff AAML 114 2 0 26 Jan 2024
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 82 74 0 14 Jan 2023
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation Zhouxing Shi Yihan Wang Huan Zhang Zico Kolter Cho-Jui Hsieh 154 42 0 13 Oct 2022
Double Bubble, Toil and Trouble: Enhancing Certified Robustness through Transitivity Andrew C. Cullen Paul Montague Shijie Liu S. Erfani Benjamin I. P. Rubinstein AAML 71 15 0 12 Oct 2022
Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective Bohang Zhang Du Jiang Di He Liwei Wang OOD 80 53 0 04 Oct 2022
Can pruning improve certified robustness of neural networks? Zhangheng Li Tianlong Chen Linyi Li Yue Liu Zhangyang Wang AAML 105 13 0 15 Jun 2022
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 42 6 0 09 Dec 2021
On the Paradox of Certified Training Nikola Jovanović Mislav Balunović Maximilian Baader Martin Vechev OOD 94 13 0 12 Feb 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Yue Liu AAML 123 131 0 09 Sep 2020