DatenVorsprung / GoTubeLinks
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
Sorting:
- ☆40Updated last year
- Implementation of the work Variational multiple shooting for Bayesian ODEs with Gaussian processes☆12Updated 2 years ago
- ☆30Updated 8 months ago
- ☆19Updated 2 years ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆37Updated 2 years ago
- a little library to help me with things involving Koopman operators☆12Updated 3 years ago
- Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…☆22Updated 2 years ago
- The Verifiably Safe Reinforcement Learning Framework☆57Updated 3 years ago
- Riemannian Optimization Using JAX☆49Updated last year
- Loopy belief propagation for factor graphs on discrete variables in JAX☆151Updated 7 months ago
- The Python PSDD Package☆16Updated 2 weeks ago
- Bayesian inference with Python and Jax.☆32Updated 2 years ago
- Bayesian algorithm execution (BAX)☆49Updated 3 years ago
- Re-implementation of Hamiltonian Generative Networks paper☆33Updated 2 years ago
- Scalable Convex Neural Networks☆24Updated last month
- The code used for the paper "On the stability analysis of optimal state feedbacks as represented by deep neural models"☆16Updated 5 years ago
- An approach for embedding hierarhical structures into a continuous vector space using variational autoencoders.☆26Updated last year
- The Energy Transformer block, in JAX☆57Updated last year
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Updated 3 years ago
- Code for paper "Compositional Sculpting of Iterative Generative Processes"☆21Updated last year
- A PyTorch library for all things nonlinear control and reinforcement learning.☆46Updated 3 years ago
- Neural network verification in JAX☆144Updated last year
- Discovering Quality-Diversity Algorithms via Meta-Black-Box Optimization☆14Updated 2 months ago
- ☆39Updated 2 years ago
- Python implementation for Combining Latent Space and Structured Kernels for Bayesian Optimization over Combinatorial Spaces.☆13Updated 3 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 4 months ago
- (GECCO 2022) CMA-ES with Margin: Lower-Bounding Marginal Probability for Mixed-Integer Black-Box Optimization☆29Updated last year
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆59Updated 3 years ago
- Official Code for the L4DC 2023 conference paper and ICLR 2023 NeSy-GeMs workshop paper.☆12Updated last year
- ☆192Updated last month