223 citations · 475 across the 51 of their papers we have counts for
3 papers · 1 filter
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…
Liquid Time-constant Networks
Ramin Hasani, Mathias Lechner, Alexander Amini +2
We introduce a new class of time-continuous recurrent neural network models. Instead of declaring a learning system's dynamics by implicit nonlinearities, we construct networks of…
Learning Long-Term Dependencies in Irregularly-Sampled Time Series
Mathias Lechner, Ramin Hasani
Recurrent neural networks (RNNs) with continuous-time hidden states are a natural fit for modeling irregularly-sampled time series. These models, however, face difficulties when th…