GoTube: Scalable Stochastic Verification of Continuous-Depth Models (Q6373076)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: GoTube: Scalable Stochastic Verification of Continuous-Depth Models |
preprint article from arXiv
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | GoTube: Scalable Stochastic Verification of Continuous-Depth Models |
preprint article from arXiv |
Statements
18 July 2021
0 references
cs.LG
0 references
cs.AI
0 references
cs.NE
0 references
math.DS
0 references
stat.ML
0 references
Sophie Gruenbacher
0 references
Mathias Lechner
0 references
Ramin Hasani
0 references
Daniela Rus
0 references
Thomas A. Henzinger
0 references
Scott Smolka
0 references
Radu Grosu
0 references
