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 9 months ago
- The Python PSDD Package☆19Updated 2 months ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆25Updated 3 years ago
- ☆11Updated last year
- Implementation of the work Variational multiple shooting for Bayesian ODEs with Gaussian processes☆13Updated 3 years ago
- Neural network verification in JAX☆145Updated 2 years ago
- ☆16Updated 2 years ago
- Dynamic causal Bayesian optimisation☆40Updated 2 years ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Updated 4 years ago
- Bayesian algorithm execution (BAX)☆50Updated 4 years ago
- Neural Fixed-Point Acceleration for Convex Optimization☆29Updated 3 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
- The code used for the paper "On the stability analysis of optimal state feedbacks as represented by deep neural models"☆16Updated 5 years ago
- ☆31Updated last year
- ☆12Updated last year
- Simplicial neural networks (SNNs), a generalization of graph neural networks to data that live on a class of topological spaces called si…☆79Updated 4 years ago
- a little library to help me with things involving Koopman operators☆12Updated 3 years ago
- Almost Surely Stable Deep Dynamics [NeurIPS 2020]☆13Updated 2 years ago
- Repository dedicated to Quaternion Neural Networks☆40Updated 3 years ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆37Updated 2 years ago
- Scalable Convex Neural Networks☆24Updated 5 months ago
- Supplementary code for the paper "Stationary Kernels and Gaussian Processes on Lie Groups and their Homogeneous Spaces"☆43Updated last year
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆29Updated 3 years ago
- Code associated with paper "High-Dimensional Contextual Policy Search with Unknown Context Rewards using Bayesian Optimization"☆15Updated 4 years ago
- Every Call is Precious: Global Optimization of Black-Box Functions with Unknown Lipschitz Constants☆16Updated 5 months ago
- Python package for Sentential Decision Diagrams (SDD)☆66Updated 7 months ago
- Hierarchical Associative Memory User Experience☆104Updated 3 months ago
- Source code for the Joint Shapley values: a measure of joint feature importance☆13Updated 4 years ago
- Re-implementation of Hamiltonian Generative Networks paper☆33Updated 3 years ago
- Pytorch (PyG) and Tensorflow (Keras/Spektral) implementation of Total Variation Graph Neural Network (TVGNN), as presented at ICML 2023.☆20Updated 7 months ago