DatenVorsprung / GoTubeLinks
Scalable stochastic verification of continuous-depth models
☆12Updated 2 years ago
Alternatives and similar repositories for GoTube
Users that are interested in GoTube are comparing it to the libraries listed below
Sorting:
- Implementation of the work Variational multiple shooting for Bayesian ODEs with Gaussian processes☆13Updated 3 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated last year
- Dynamic causal Bayesian optimisation☆40Updated 2 years ago
- A PyTorch library for all things nonlinear control and reinforcement learning.☆47Updated 4 years ago
- Pre-trained Gaussian processes for Bayesian optimization☆100Updated last month
- Neural network verification in JAX☆144Updated 2 years ago
- 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.☆29Updated 2 months ago
- ☆31Updated last year
- Library for optimization with the model-based evolutionary algorithm GOMEA (Gene-pool Optimal Mixing Evolutionary Algorithm)☆25Updated 6 months ago
- Convert CVXPY expressions to PyTorch expressions☆19Updated 7 months ago
- The Python PSDD Package☆19Updated 6 months ago
- ☆19Updated 3 years ago
- ☆46Updated 2 years ago
- Kernel Identification Through Transformers☆14Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Updated last year
- Loopy belief propagation for factor graphs on discrete variables in JAX☆164Updated last year
- ☆12Updated last year
- [ICML'21] Think Global and Act Local: Bayesian Optimisation for Categorical and Mixed Search Spaces☆34Updated 3 years ago
- simple JAX-/NumPy-based implementations of NGD with exact/approximate Fisher Information Matrix both in parameter-space and function-spac…☆15Updated 5 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Updated 3 years ago
- Geometric Dynamic Variational Autoencoders (GD-VAEs) for learning embedding maps for nonlinear dynamics into general latent spaces. This …☆36Updated 2 months ago
- Library for Bayesian Quadrature☆32Updated 6 years ago
- Bayesian algorithm execution (BAX)☆55Updated 4 years ago
- Scalable Convex Neural Networks☆25Updated 9 months ago
- Second-Order Neural ODE Optimizer, NeurIPS 2021 spotlight☆55Updated 4 years ago
- Almost Surely Stable Deep Dynamics [NeurIPS 2020]☆13Updated 3 years ago
- A basic implementation of the paper Eigengame : PCA as a Nash Equilibrium☆21Updated 4 years ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆39Updated 3 years ago
- Code associated with paper "High-Dimensional Contextual Policy Search with Unknown Context Rewards using Bayesian Optimization"☆15Updated 5 years ago