DatenVorsprung / GoTube
Scalable stochastic verification of continuous-depth models
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for GoTube
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 11 months ago
- ☆38Updated 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
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆60Updated 2 years ago
- Scalable Convex Neural Networks☆21Updated last week
- Fourth edition of VNN COMP (2023)☆16Updated last year
- A PyTorch library for all things nonlinear control and reinforcement learning.☆44Updated 3 years ago
- ☆9Updated 2 months ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated last year
- Bayesian model reduction for probabilistic machine learning☆10Updated 9 months ago
- The Verifiably Safe Reinforcement Learning Framework☆56Updated 3 years ago
- A collection of meta-learning algorithms in Jax☆23Updated 2 years ago
- Official code for UnICORNN (ICML 2021)☆27Updated 3 years ago
- Neural network verification in JAX☆142Updated last year
- Hierarchical Associative Memory User Experience☆89Updated 10 months ago
- Heavyweight Python dynamic analysis framework☆13Updated 7 months ago
- The official implementation of PFNs4BO: In-Context Learning for Bayesian Optimization☆22Updated 8 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 6 months ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆131Updated last month
- Dynamic causal Bayesian optimisation☆35Updated 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
- The Energy Transformer block, in JAX☆53Updated 11 months ago
- Code for minimum-entropy coupling.☆30Updated 4 months ago
- ☆27Updated 7 months ago
- Implementation of the work Variational multiple shooting for Bayesian ODEs with Gaussian processes☆12Updated 2 years ago
- Code associated with paper "High-Dimensional Contextual Policy Search with Unknown Context Rewards using Bayesian Optimization"☆15Updated 3 years ago
- Reinforcement learning library in JAX.☆102Updated last year
- Library for optimization with the model-based evolutionary algorithm GOMEA (Gene-pool Optimal Mixing Evolutionary Algorithm)☆23Updated this week
- Riemannian Optimization Using JAX☆45Updated last year
- ModelDiff: A Framework for Comparing Learning Algorithms☆53Updated last year