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
- ☆11Updated last year
- An approach for embedding hierarhical structures into a continuous vector space using variational autoencoders.☆28Updated 3 months ago
- The Python PSDD Package☆19Updated 3 months ago
- ☆31Updated last year
- Scalable Convex Neural Networks☆24Updated 6 months ago
- Neural network verification in JAX☆145Updated 2 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Updated 3 years 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
- Dynamic causal Bayesian optimisation☆40Updated 2 years ago
- Hierarchical Associative Memory User Experience☆104Updated 3 months ago
- ☆12Updated last year
- A PyTorch library for all things nonlinear control and reinforcement learning.☆47Updated 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
- ☆89Updated 6 months ago
- ☆43Updated 2 years ago
- Official implementation of E(n)-equivariant Graph Neural Cellular Automata☆34Updated last month
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆31Updated 3 years ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆157Updated last year
- Code for "Log Neural Controlled Differential Equations" (ICML 2024) and "Structured Linear CDEs" (NeurIPS 2025, Spotlight)☆23Updated 2 weeks ago
- Bayesian algorithm execution (BAX)☆53Updated 4 years ago
- ☆12Updated 2 years ago
- Fourth edition of VNN COMP (2023)☆16Updated 2 years ago
- Library for Bayesian Quadrature☆32Updated 6 years ago
- Second-Order Neural ODE Optimizer, NeurIPS 2021 spotlight☆55Updated 4 years ago
- This repository contains PyTorch implementations of various random feature maps for dot product kernels.☆22Updated last year
- ☆19Updated 3 years ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆51Updated 2 years ago
- VNN Neural Network Verification Competition 2021☆36Updated 4 years ago