DatenVorsprung / GoTube
Scalable stochastic verification of continuous-depth models
☆11Updated last year
Alternatives and similar repositories for GoTube:
Users that are interested in GoTube are comparing it to the libraries listed below
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 3 months ago
- The Python PSDD Package☆16Updated 7 months ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆148Updated 6 months ago
- The code used for the paper "On the stability analysis of optimal state feedbacks as represented by deep neural models"☆14Updated 5 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
- ☆19Updated 2 years ago
- Neural network verification in JAX☆142Updated last year
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆59Updated 3 years ago
- ☆79Updated 8 months ago
- Fully differentiable RL environments, written in Ivy.☆64Updated last year
- The Energy Transformer block, in JAX☆57Updated last year
- A PyTorch library for all things nonlinear control and reinforcement learning.☆46Updated 3 years ago
- Riemannian Optimization Using JAX☆48Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆56Updated 2 months ago
- ☆30Updated 7 months ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆37Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated 3 months ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago
- Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…☆22Updated 2 years ago
- ☆192Updated 2 weeks ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- Official implementation of E(n)-equivariant Graph Neural Cellular Automata☆28Updated last year
- Every Call is Precious: Global Optimization of Black-Box Functions with Unknown Lipschitz Constants☆15Updated 2 months ago
- Scalable Convex Neural Networks☆24Updated this week
- By introducing a differentiable contact model, DiffCoSim extends the applicability of Lagrangian/Hamiltonian-inspired neural networks to …☆35Updated 2 years ago
- Neural Fixed-Point Acceleration for Convex Optimization☆29Updated 2 years ago
- ☆40Updated last year
- ☆31Updated 2 years ago
- Re-implementation of Hamiltonian Generative Networks paper☆33Updated 2 years ago
- Plug-and-play hydra sweepers for the EA-based multifidelity method DEHB and several population-based training variations, all proven to e…☆77Updated last year