BriefGPT.xyz
Dec, 2020
关于具有随机保证的神经ODE验证
On The Verification of Neural ODEs with Stochastic Guarantees
HTML
PDF
Sophie Gruenbacher, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka...
TL;DR
我们展示了神经ODE可以通过解一组全局优化问题进行验证,为此,我们介绍了随机Lagrangian可达性(SLR)技术,并引入了前向模式伴随灵敏度方法来计算梯度,最终我们为SLR建立了渐近和非渐近收敛率。
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
→