Certifying Ensembles: A General Certification Theory with S-Lipschitzness

25 April 2023

Papers citing "Certifying Ensembles: A General Certification Theory with S-Lipschitzness"

5 / 5 papers shown

Title
Make Some Noise: Reliable and Efficient Single-Step Adversarial Training Pau de Jorge Adel Bibi Riccardo Volpi Amartya Sanyal Philip H. S. Torr Grégory Rogez P. Dokania AAML 46 45 0 02 Feb 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017
Simple and Scalable Predictive Uncertainty Estimation using Deep Ensembles Balaji Lakshminarayanan Alexander Pritzel Charles Blundell UQCV BDL 268 5,652 0 05 Dec 2016
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016
ImageNet Large Scale Visual Recognition Challenge Olga Russakovsky Jia Deng Hao Su J. Krause S. Satheesh ... A. Karpathy A. Khosla Michael S. Bernstein Alexander C. Berg Li Fei-Fei VLM ObjD 282 39,170 0 01 Sep 2014