DatenVorsprung / GoTubeLinks
Scalable stochastic verification of continuous-depth models
☆11Updated 2 years ago
Alternatives and similar repositories for GoTube
Users that are interested in GoTube are comparing it to the libraries listed below
Sorting:
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 10 months ago
- ☆11Updated last year
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Updated 3 years ago
- The Python PSDD Package☆19Updated 4 months ago
- Neural network verification in JAX☆145Updated 2 years ago
- Dynamic causal Bayesian optimisation☆40Updated 2 years ago
- Every Call is Precious: Global Optimization of Black-Box Functions with Unknown Lipschitz Constants☆16Updated 2 weeks ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Updated 4 years ago
- Implementation of the work Variational multiple shooting for Bayesian ODEs with Gaussian processes☆13Updated 3 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago
- ☆12Updated last year
- ☆44Updated 2 years ago
- An approach for embedding hierarhical structures into a continuous vector space using variational autoencoders.☆28Updated 4 months ago
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆29Updated 3 years ago
- Fork of the E2CNN library that adds support for equivariant partial differential operators☆17Updated 3 years ago
- ☆31Updated last year
- Re-implementation of Hamiltonian Generative Networks paper☆33Updated 3 years ago
- Bayesian algorithm execution (BAX)☆53Updated 4 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
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆30Updated 5 years ago
- Materials related to the 2024-2025 mini course on Probabilistic Models and Bayesian Methods at the Faculty of Finance at Kharazmi Univers…☆26Updated 5 months ago
- This is the code related to the article 'Intrinsic persistent homology via density-based metric learning'☆10Updated 2 years ago
- A python package for computing Persistence Curves☆19Updated 4 years ago
- Geometric Dynamic Variational Autoencoders (GD-VAEs) for learning embedding maps for nonlinear dynamics into general latent spaces. This …☆34Updated 2 weeks ago
- ☆10Updated last year
- Loopy belief propagation for factor graphs on discrete variables in JAX☆158Updated last year
- Library for Bayesian Quadrature☆32Updated 6 years ago
- A PyTorch library for all things nonlinear control and reinforcement learning.☆47Updated 4 years ago
- Scalable Convex Neural Networks☆24Updated 6 months ago
- Differentiable Euler Characteristic Transform☆17Updated last year