Efficient Certified Training and Robustness Verification of Neural ODEs.

Mustafa Zeqiri Mark Niklas Müller Marc Fischer Martin Vechev

Published in: CoRR (2023)

Keyphrases

training set
training samples
training examples
bio inspired
real time
learning algorithm
support vector
cost effective
model checking
computationally expensive
network architecture
recurrent networks