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 8 months ago
- The Python PSDD Package☆19Updated 2 months ago
- Neural network verification in JAX☆145Updated 2 years ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆156Updated 11 months ago
- ☆11Updated last year
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Updated 4 years ago
- Scalable Convex Neural Networks☆24Updated 4 months ago
- Hierarchical Associative Memory User Experience☆103Updated 2 months ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆59Updated 3 years ago
- Scalable training and inference for Probabilistic Circuits☆76Updated 2 months ago
- Python package for Sentential Decision Diagrams (SDD)☆66Updated 7 months ago
- Dynamic causal Bayesian optimisation☆40Updated 2 years ago
- ☆43Updated 2 years ago
- ☆31Updated last year
- ☆12Updated last year
- Implementation of the work Variational multiple shooting for Bayesian ODEs with Gaussian processes☆13Updated 3 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆16Updated 8 months ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆25Updated 3 years ago
- equation discovery based on generative models☆21Updated 5 months ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆51Updated 2 years ago
- symbolic regression☆40Updated 3 years ago
- ☆19Updated 2 years ago
- An approach for embedding hierarhical structures into a continuous vector space using variational autoencoders.☆28Updated 2 months ago
- ☆142Updated 4 months ago
- Supplementary code for the paper "Stationary Kernels and Gaussian Processes on Lie Groups and their Homogeneous Spaces"☆43Updated last year
- DPLL(T)-based Verification tool for DNNs☆19Updated this week
- The code used for the paper "On the stability analysis of optimal state feedbacks as represented by deep neural models"☆16Updated 5 years ago
- Library for Bayesian Quadrature☆32Updated 6 years ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆37Updated 2 years ago
- ☆192Updated 3 months ago