|
Workshop
|
|
A Vision for Certifiable Perception: from Outlier-Robust Estimation to Self-Supervised Learning - Luca Carlone & Rajat Talak
Hamidreza Kasaei
|
|
|
Workshop
|
|
Certifiable Robustness Against Patch Attacks Using an ERM Oracle
Kevin Stangl · Avrim Blum · Omar Montasser · Saba Ahmadi
|
|
|
Poster
|
Tue 14:00
|
Accelerating Certified Robustness Training via Knowledge Transfer
Pratik Vaishnavi · Kevin Eykholt · Amir Rahmati
|
|
|
Workshop
|
|
On the Feasibility of Compressing Certifiably Robust Neural Networks
Pratik Vaishnavi · Veena Krish · Farhan Ahmed · Kevin Eykholt · Amir Rahmati
|
|
|
Workshop
|
|
Learning Certifiably Robust Controllers Using Fragile Perception
Dawei Sun · Negin Musavi · Geir Dullerud · Sanjay Shakkottai · Sayan Mitra
|
|
|
Workshop
|
|
Certified Robustness in Federated Learning
Motasem Alfarra · Juan Perez · Egor Shulgin · Peter Richtarik · Bernard Ghanem
|
|
|
Poster
|
Tue 14:00
|
Double Bubble, Toil and Trouble: Enhancing Certified Robustness through Transitivity
Andrew Cullen · Paul Montague · Shijie Liu · Sarah Erfani · Benjamin Rubinstein
|
|
|
Poster
|
Tue 9:00
|
Toward Robust Spiking Neural Network Against Adversarial Perturbation
LING LIANG · Kaidi Xu · Xing Hu · Lei Deng · Yuan Xie
|
|
|
Poster
|
Wed 9:00
|
LOT: Layer-wise Orthogonal Training on Improving l2 Certified Robustness
Xiaojun Xu · Linyi Li · Bo Li
|
|
|
Poster
|
Wed 14:00
|
(De-)Randomized Smoothing for Decision Stump Ensembles
Miklós Horváth · Mark Müller · Marc Fischer · Martin Vechev
|
|
|
Poster
|
Tue 9:00
|
Certifying Robust Graph Classification under Orthogonal Gromov-Wasserstein Threats
Hongwei Jin · Zishun Yu · Xinhua Zhang
|
|
|
Poster
|
Wed 9:00
|
Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective
Bohang Zhang · Du Jiang · Di He · Liwei Wang
|
|
