Towards Certifying L-infinity Robustness using Neural Networks with
L-inf-dist Neurons

v1v2v3v4 (latest)

Towards Certifying L-infinity Robustness using Neural Networks with L-inf-dist Neurons

10 February 2021

Tianle Cai

ArXiv (abs)PDF HTML

Papers citing "Towards Certifying L-infinity Robustness using Neural Networks with L-inf-dist Neurons"

15 / 15 papers shown

Title
Efficient Robust Conformal Prediction via Lipschitz-Bounded Networks Thomas Massena Léo Andéol Thibaut Boissin Franck Mamalet Corentin Friedrich M. Serrurier Sébastien Gerchinovitz AAML 39 2 0 05 Jun 2025
The Effect of Intrinsic Dataset Properties on Generalization: Unraveling Learning Differences Between Natural and Medical Images Nicholas Konz Maciej A. Mazurowski 62 7 0 16 Jan 2024
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 113 11 0 29 Sep 2023
The Best Defense is a Good Offense: Adversarial Augmentation against Adversarial Attacks I. Frosio Jan Kautz AAML 98 15 0 23 May 2023
Towards Robust Dataset Learning Yihan Wu Xinda Li Florian Kerschbaum Heng Huang Hongyang R. Zhang DD OOD 85 10 0 19 Nov 2022
Improving Lipschitz-Constrained Neural Networks by Learning Activation Functions Stanislas Ducotterd Alexis Goujon Pakshal Bohra Dimitris Perdios Sebastian Neumayer M. Unser 84 13 0 28 Oct 2022
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation Zhouxing Shi Yihan Wang Huan Zhang Zico Kolter Cho-Jui Hsieh 156 42 0 13 Oct 2022
Certified Training: Small Boxes are All You Need Mark Niklas Muller Franziska Eckert Marc Fischer Martin Vechev AAML 99 48 0 10 Oct 2022
Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective Bohang Zhang Du Jiang Di He Liwei Wang OOD 90 53 0 04 Oct 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 69 2 0 18 Aug 2022
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth AAML 88 17 0 29 Jun 2022
TPC: Transformation-Specific Smoothing for Point Cloud Models Wen-Hsuan Chu Linyi Li Yue Liu 3DPC 106 13 0 30 Jan 2022
NoiLIn: Improving Adversarial Training and Correcting Stereotype of Noisy Labels Jingfeng Zhang Xilie Xu Bo Han Tongliang Liu Gang Niu Li-zhen Cui Masashi Sugiyama NoLa AAML 87 9 0 31 May 2021
On the Paradox of Certified Training Nikola Jovanović Mislav Balunović Maximilian Baader Martin Vechev OOD 97 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