DatenVorsprung / GoTube
Scalable stochastic verification of continuous-depth models
☆11Updated last year
Alternatives and similar repositories for GoTube:
Users that are interested in GoTube are comparing it to the libraries listed below
- ☆30Updated 6 months ago
- Pre-trained Gaussian processes for Bayesian optimization☆90Updated 4 months ago
- The code used for the paper "On the stability analysis of optimal state feedbacks as represented by deep neural models"☆14Updated 5 years ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆144Updated 5 months ago
- The Python PSDD Package☆16Updated 6 months ago
- Re-implementation of Hamiltonian Generative Networks paper☆33Updated 2 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 2 months ago
- Implementation of the work Variational multiple shooting for Bayesian ODEs with Gaussian processes☆12Updated 2 years ago
- A PyTorch library for all things nonlinear control and reinforcement learning.☆45Updated 3 years ago
- Dynamic causal Bayesian optimisation☆35Updated last year
- Library for Bayesian Quadrature☆31Updated 6 years ago
- a little library to help me with things involving Koopman operators☆11Updated 3 years ago
- Scalable Convex Neural Networks☆23Updated last week
- Neural network verification in JAX☆141Updated last year
- Nonparametric Differential Equation Modeling☆53Updated last year
- The Verifiably Safe Reinforcement Learning Framework☆56Updated 3 years ago
- Riemannian Convex Potential Maps☆67Updated 2 years ago
- ☆39Updated last year
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated 2 months ago
- PyHopper is a hyperparameter optimizer, made specifically for high-dimensional problems arising in machine learning research.☆86Updated last year
- simple JAX-/NumPy-based implementations of NGD with exact/approximate Fisher Information Matrix both in parameter-space and function-spac…☆14Updated 4 years ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆59Updated 3 years ago
- By introducing a differentiable contact model, DiffCoSim extends the applicability of Lagrangian/Hamiltonian-inspired neural networks to …☆34Updated 2 years ago
- Myriad is a real-world testbed that aims to bridge trajectory optimization and deep learning.☆66Updated last year
- ☆11Updated 6 months ago
- Supplementary code for the paper "Stationary Kernels and Gaussian Processes on Lie Groups and their Homogeneous Spaces"☆42Updated last year
- The Balloon Learning Environment - flying stratospheric balloons with deep reinforcement learning.☆124Updated 8 months ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆37Updated 2 years ago
- Kernel Identification Through Transformers☆12Updated last year
- Code for Lie Symmetries SSL paper☆19Updated last year