02/02/2021

On the Verification of Neural ODEs with Stochastic Guarantees

Sophie Grunbacher, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu

Keywords:

Abstract Paper Similar Papers

Abstract: We show that Neural ODEs, an emerging class of time-continuous neural networks, can be verified by solving a set of global-optimization problems. For this purpose, we introduce Stochastic Lagrangian Reachability (SLR), an abstraction-based technique for constructing a tight Reachtube (an over-approximation of the set of reachable states over a given time-horizon), and provide stochastic guarantees in the form of confidence intervals for the Reachtube bounds. SLR inherently avoids the infamous wrapping effect (accumulation of over-approximation errors) by performing local optimization steps to expand safe regions instead of repeatedly forward-propagating them as is done by deterministic reachability methods. To enable fast local optimizations, we introduce a novel forward-mode adjoint sensitivity method to compute gradients without the need for backpropagation. Finally, we establish asymptotic and non-asymptotic convergence rates for SLR.

The video of this talk cannot be embedded. You can watch it here:
https://slideslive.com/38949151
(Link will open in new window)
 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at AAAI 2021 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 4:37 
 0
 0
 0
 0
 6:05 
 0
 0
 0
 0
 5:21 
 0
 0
 0
 0
 4:44 
 0
 0
 0
 0
 3:26 
 0
 0
 0
 0
 3:12 
 0
 0
 0
 0
 3:04 
 0
 0
 0
 0
 5:30 
 0
 0
 0
 0
 4:49 
 0
 0
 0
 0
 15:14 
 0
 0
 0
 0
 17:15 
 1
 0
 0
 0
 14:15 
 0
 0
 0
 0
 12:51 
 0
 0
 0
 0
 17:35 
 0
 0
 0
 0
 14:25 
 0
 0
 0
 0
 3:01 
 0
 0
 0
 0
 3:27 
 0
 0
 0
 0
 3:16 
 0
 0
 0
 0
 17:51 
 0
 0
 0
 0
 14:59 
 0
 0
 0
 0
 4:17 
 0
 0
 0
 0
 3:13 
 0
 0
 0
 1
 12:45 
 0
 0
 0
 0
 4:08 
 0
 0
 0
 0
 1:01 
 0
 0
 0
 0
 6:16 
 0
 0
 0
 0
 15:41 
 0
 0
 0
 0
 5:22 
 0
 0
 0
 0
 12:45 
 0
 0
 0
 0
 3:19 
 0
 0
 0
 0
 5:33 
 0
 0
 0
 0
 3:05 
 0
 0
 0
 0
 13:50 
 0
 0
 0
 0
 5:08 
 0
 0
 0
 0
 14:05 
 0
 0
 0
 0
 3:27 
 0
 0
 0
 0
 15:05 
 0
 0
 0
 0
 9:54 
 0
 0
 0
 0
 11:09 
 0
 0
 0
 0
 19:56