|
Poster
|
Wed 17:00
|
Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations
Hong-Ming Chiu · Richard Zhang
|
|
|
Poster
|
Wed 14:00
|
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
Steven Adams · Andrea Patane · Morteza Lahijanian · Luca Laurenti
|
|
|
Poster
|
Tue 17:00
|
FARE: Provably Fair Representation Learning with Practical Certificates
Nikola Jovanović · Mislav Balunovic · Dimitar I. Dimitrov · Martin Vechev
|
|
|
Poster
|
Wed 14:00
|
Certifying Ensembles: A General Certification Theory with S-Lipschitzness
Aleksandar Petrov · Francisco Eiras · Amartya Sanyal · Phil Torr · Adel Bibi
|
|
|
Workshop
|
|
Shrink & Cert: Bi-level Optimization for Certified Robustness
Kavya Gupta · Sagar Verma
|
|
|
Workshop
|
|
Provably Robust Cost-Sensitive Learning via Randomized Smoothing
Yuan Xin · Michael Backes · Xiao Zhang
|
|
|
Workshop
|
|
Provably Robust Cost-Sensitive Learning via Randomized Smoothing
|
|
|
Workshop
|
|
Shrink & Cert: Bi-level Optimization for Certified Robustness
|
|
|
Workshop
|
|
Certifying Ensembles: A General Certification Theory with S-Lipschitzness
|
|
|
Workshop
|
|
Certifying Ensembles: A General Certification Theory with S-Lipschitzness
Aleksandar Petrov · Francisco Eiras · Amartya Sanyal · Phil Torr · Adel Bibi
|
|
|
Workshop
|
|
Certified Calibration: Bounding Worst-Case Calibration under Adversarial Attacks
Cornelius Emde · Francesco Pinto · Thomas Lukasiewicz · Phil Torr · Adel Bibi
|
|
|
Workshop
|
|
Certified Calibration: Bounding Worst-Case Calibration under Adversarial Attacks
|
|
