Mathias Lechner's Projects
Code repository of the NeurIPS 2021 paper Infinite Time Horizon Safety of Bayesian Neural Networks
Matrix Inversion Project for GPU Computing and Architectures
Collection of helpful scripts for working with python, Latex, and Ubuntu
Scalable stochastic verification of continuous-depth models
IBEX is a C++ library for constraint processing over real numbers.
ICLR 2020 and 2019 reviews
Code repository of the paper "Learning representations for binary-classification without backpropagation" published at ICLR 2020
Official code repository of the paper Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-To-End Robot Learning Scheme by Mathias Lechner, Ramin Hasani, Daniela Rus, and Radu Grosu, published at ICRA 2020.
Keras documentation, hosted live at keras.io
PyTorch and TensorFlow implementation of NCP, LTC, and CfC wired neural models
Code repository of the paper Learning Long-Term Dependencies in Irregularly-Sampled Time Series
Neuronal Circuit Policies
The lightweight PyTorch wrapper for high-performance AI research. Scale your models, not the boilerplate.
Sequence Modeling with Structured State Spaces