Efficient Certified Training and Robustness Verification of Neural ODEs

Mustafa Zeqiri, Mark Niklas Müller, Marc Fischer 0002, Martin T. Vechev. Efficient Certified Training and Robustness Verification of Neural ODEs. In The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023. OpenReview.net, 2023. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.