5 citations · 10 across the 3 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021★ 3 cited
GoTube: Scalable Stochastic Verification of Continuous-Depth Models
Sophie Gruenbacher, Mathias Lechner, Ramin Hasani +4
We introduce a new stochastic verification algorithm that formally quantifies the behavioral robustness of any time-continuous process formulated as a continuous-depth model. Our a…
cs.LG2020★ 5 cited
On The Verification of Neural ODEs with Stochastic Guarantees
Sophie Gruenbacher, Ramin Hasani, Mathias Lechner +3
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 Sto…