Filters








2 Hits in 2.0 sec

GoTube: Scalable Statistical Verification of Continuous-Depth Models

Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu
2022 AAAI Conference on Artificial Intelligence  
We introduce a new statistical verification algorithm that formally quantifies the behavioral robustness of any timecontinuous process formulated as a continuous-depth model.  ...  GoTube is implemented in JAX and optimized to scale to complex continuous-depth neural network models.  ...  Continuous-depth models.  ... 
dblp:conf/aaai/GruenbacherLHRH22 fatcat:xurpydmw2feoviifppsez2d4yu

GoTube: Scalable Stochastic Verification of Continuous-Depth Models [article]

Sophie Gruenbacher, Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A. Henzinger, Scott Smolka, Radu Grosu
2021 arXiv   pre-print
We introduce a new stochastic verification algorithm that formally quantifies the behavioral robustness of any time-continuous process formulated as a continuous-depth model.  ...  GoTube is implemented in JAX and optimized to scale to complex continuous-depth neural network models.  ...  Continuous-depth models.  ... 
arXiv:2107.08467v2 fatcat:lird25izyjc6rb6qk3zaqw753y