Department of Computer Science, ETH Zurich, Switzerland
Mustafa Zeqiri, Mark N Müller, Marc Fischer, Martin Vechev
Neural ODEs;Adversarial Robustness;Certified Robustness;Robustness Verification;Certified Training
Efficient Certified Training and Robustness Verification of Neural ODEs