Efficient Certified Training and Robustness Verification of Neural ODEs.

Mustafa Zeqiri Mark Niklas Müller Marc Fischer Martin T. Vechev

Published in: ICLR (2023)

Keyphrases

neural network
training set
network architecture
multiscale
model checking
computationally expensive
machine learning
data structure
computationally efficient
training samples
dynamic systems
biologically inspired
biologically plausible