Workshop
|
|
Adaptive Certified Training: Towards Better Accuracy-Robustness Tradeoffs
|
|
Workshop
|
|
Certified Calibration: Bounding Worst-Case Calibration under Adversarial Attacks
|
|
Workshop
|
|
Shrink & Cert: Bi-level Optimization for Certified Robustness
|
|
Poster
|
Tue 17:00
|
Improving l1-Certified Robustness via Randomized Smoothing by Leveraging Box Constraints
Václav Voráček · Matthias Hein
|
|
Workshop
|
Fri 17:00
|
Prof. Aws Albarghouthi and Yuhao Zhang (UW-Madison): Certifying Robustness: From Training to Inference
Aws Albarghouthi · Yuhao Zhang
|
|
Workshop
|
|
Certifying Ensembles: A General Certification Theory with S-Lipschitzness
|
|
Workshop
|
|
Shrink & Cert: Bi-level Optimization for Certified Robustness
Kavya Gupta · Sagar Verma
|
|
Workshop
|
|
CertViT: Certified Robustness of Pre-Trained Vision Transformers
|
|
Workshop
|
|
Adaptive Certified Training: Towards Better Accuracy-Robustness Tradeoffs
Zhakshylyk Nurlanov · Frank R Schmidt · Florian Bernard
|
|
Workshop
|
|
CertViT: Certified Robustness of Pre-Trained Vision Transformers
Kavya Gupta · Sagar Verma
|
|
Workshop
|
|
Certified Calibration: Bounding Worst-Case Calibration under Adversarial Attacks
Cornelius Emde · Francesco Pinto · Thomas Lukasiewicz · Phil Torr · Adel Bibi
|
|
Poster
|
Thu 16:30
|
Certified Robust Neural Networks: Generalization and Corruption Resistance
Amine Bennouna · Ryan Lucas · Bart Van Parys
|
|