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 6 months ago
- ☆11Updated 10 months ago
- Neural network verification in JAX☆145Updated last year
- The Python PSDD Package☆17Updated last month
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆23Updated 3 years ago
- Dynamic causal Bayesian optimisation☆39Updated 2 years ago
- ☆12Updated last year
- An approach for embedding hierarhical structures into a continuous vector space using variational autoencoders.☆28Updated last week
- The Verifiably Safe Reinforcement Learning Framework☆57Updated 3 years ago
- Implementation of the work Variational multiple shooting for Bayesian ODEs with Gaussian processes☆12Updated 2 years ago
- ☆20Updated 3 years ago
- Heavyweight Python dynamic analysis framework☆13Updated last year
- Multi-Fidelity Active Learning with GFlowNets☆7Updated last year
- ☆30Updated 10 months ago
- Source code for the Joint Shapley values: a measure of joint feature importance☆13Updated 3 years ago
- Code repo for paper: ICML 2020 paper Natural lottery ticket winner: RL for ordinary neural circuits☆13Updated 5 years ago
- A PyTorch library for all things nonlinear control and reinforcement learning.☆46Updated 3 years ago
- This repo contains the code associated to the paper: "Constrained Causal Bayesian Optimization" by Aglietti Virginia, Alan Malek, Ira Kt…☆16Updated last year
- Codes for the Numerical Results of the paper "Tangent Bundle Neural Networks: from Manifolds to Celullar Sheaves and Back"☆11Updated 2 years ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆59Updated 3 years ago
- Almost Surely Stable Deep Dynamics [NeurIPS 2020]☆13Updated 2 years ago
- Python package for Sentential Decision Diagrams (SDD)☆63Updated 4 months ago
- Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…☆23Updated last month
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆30Updated 3 years ago
- Scalable Convex Neural Networks☆24Updated 2 months ago
- This repository contains code released by DiffEqML Research☆90Updated 3 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆154Updated 9 months ago
- Re-implementation of Hamiltonian Generative Networks paper☆33Updated 2 years ago
- simple JAX-/NumPy-based implementations of NGD with exact/approximate Fisher Information Matrix both in parameter-space and function-spac…☆14Updated 4 years ago