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 7 months ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆24Updated 3 years ago
- ☆11Updated 11 months ago
- The Python PSDD Package☆19Updated last month
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Updated 4 years ago
- Neural network verification in JAX☆145Updated 2 years ago
- Implementation of the work Variational multiple shooting for Bayesian ODEs with Gaussian processes☆13Updated 3 years ago
- Dynamic causal Bayesian optimisation☆40Updated 2 years ago
- ☆47Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆65Updated 6 months ago
- The code used for the paper "On the stability analysis of optimal state feedbacks as represented by deep neural models"☆17Updated 5 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆16Updated 7 months ago
- ☆12Updated last year
- ☆30Updated 11 months ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆30Updated 3 years ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆154Updated 10 months ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆37Updated 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
- This repo contains the code associated to the paper: "Constrained Causal Bayesian Optimization" by Aglietti Virginia, Alan Malek, Ira Kt…☆16Updated last year
- An approach for embedding hierarhical structures into a continuous vector space using variational autoencoders.☆28Updated last month
- ☆19Updated 3 years ago
- Source code for the Joint Shapley values: a measure of joint feature importance☆13Updated 3 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆49Updated last year
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆30Updated last year
- A PyTorch library for all things nonlinear control and reinforcement learning.☆47Updated 3 years ago
- ☆43Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆99Updated 2 years ago
- The Balloon Learning Environment - flying stratospheric balloons with deep reinforcement learning.☆124Updated last year
- Scalable Convex Neural Networks☆24Updated 4 months ago
- The Verifiably Safe Reinforcement Learning Framework☆57Updated 4 years ago