DatenVorsprung / GoTube
Scalable stochastic verification of continuous-depth models
☆11Updated last year
Related projects: ⓘ
- The Python PSDD Package☆15Updated last week
- ☆37Updated last year
- a little library to help me with things involving Koopman operators☆11Updated 2 years ago
- Scalable Convex Neural Networks☆20Updated 4 months ago
- A PyTorch library for all things nonlinear control and reinforcement learning.☆42Updated 2 years ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆37Updated last year
- Code associated with paper "High-Dimensional Contextual Policy Search with Unknown Context Rewards using Bayesian Optimization"☆15Updated 3 years ago
- simple JAX-/NumPy-based implementations of NGD with exact/approximate Fisher Information Matrix both in parameter-space and function-spac…☆14Updated 3 years ago
- Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…☆18Updated last year
- Dynamic causal Bayesian optimisation☆32Updated last year
- The code used for the paper "On the stability analysis of optimal state feedbacks as represented by deep neural models"☆13Updated 4 years ago
- Neural network verification in JAX☆139Updated last year
- Neural Fixed-Point Acceleration for Convex Optimization☆29Updated last year
- Myriad is a real-world testbed that aims to bridge trajectory optimization and deep learning.☆58Updated last year
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆45Updated last year
- ☆18Updated 2 years ago
- A collection of commonly used datasets as benchmarks for density estimation in MaLe☆17Updated 5 years ago
- A Python Library for Deep Probabilistic Modeling☆59Updated last year
- Official Code for the L4DC 2023 conference paper and ICLR 2023 NeSy-GeMs workshop paper.☆14Updated 11 months ago
- Re-implementation of Hamiltonian Generative Networks paper☆32Updated 2 years ago
- ☆15Updated 2 years ago
- A collection of meta-learning algorithms in Jax☆23Updated 2 years ago
- Inference on non-linear dynamical systems written in JAX☆12Updated 4 years ago
- Meta-learning Gaussian process (GP) priors via PAC-Bayes bounds☆25Updated 7 months ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆47Updated 7 months ago
- Riemannian Optimization Using JAX☆44Updated 10 months ago
- ☆24Updated this week
- Variational Auto-Regressive Gaussian Processes for Continual Learning☆20Updated 3 years ago
- Supplementary code for the NeurIPS 2020 paper "Matern Gaussian processes on Riemannian manifolds".☆26Updated 3 years ago
- The Energy Transformer block, in JAX☆48Updated 9 months ago