firstbacksecondback
5 Results
|
Poster
|
Tue 2:30 |
Efficient Certified Training and Robustness Verification of Neural ODEs Mustafa Zeqiri · Mark N Müller · Marc Fischer · Martin Vechev |
|
|
Poster
|
Wed 7:30 |
Certified Training: Small Boxes are All You Need Mark N Müller · Franziska Eckert · Marc Fischer · Martin Vechev |
|
|
Oral
|
Wed 7:00 |
Certified Training: Small Boxes are All You Need Mark N Müller · Franziska Eckert · Marc Fischer · Martin Vechev |
|
|
Oral
|
Wed 1:10 |
Localized Randomized Smoothing for Collective Robustness Certification Jan Schuchardt · Tom Wollschläger · Aleksandar Bojchevski · Stephan Günnemann |
|
|
Poster
|
Wed 2:30 |
Localized Randomized Smoothing for Collective Robustness Certification Jan Schuchardt · Tom Wollschläger · Aleksandar Bojchevski · Stephan Günnemann |