On the Verification of Neural ODEs with Stochastic Guarantees.
Sophie GruenbacherRamin M. HasaniMathias LechnerJacek CyrankaScott A. SmolkaRadu GrosuPublished in: AAAI (2021)
Keyphrases
- network architecture
- neural network
- stochastic optimization
- model checking
- asynchronous circuits
- ordinary differential equations
- data sets
- monte carlo
- artificial neural
- bio inspired
- stochastic nature
- learning automata
- neural model
- face verification
- signature verification
- formal verification
- fingerprint verification
- verification method
- biologically inspired
- lower bound