firstbacksecondback
3 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 |