cheuktingli / psitip
Python Symbolic Information Theoretic Inequality Prover
☆39Updated last year
Alternatives and similar repositories for psitip:
Users that are interested in psitip are comparing it to the libraries listed below
- A standalone release of DeepMind Lab's maze generator with Python bindings.☆59Updated last year
- Fully documented Pytorch implementation of the Equilibrium Propagation algorithm.☆34Updated 5 years ago
- Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"☆106Updated 4 years ago
- ☆22Updated 3 years ago
- Probabilistic Circuits from the Juice library☆106Updated 10 months ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆148Updated 6 months ago
- A simple hypernetwork implementation in jax using haiku.☆23Updated 2 years ago
- ☆80Updated 3 years ago
- Logic Circuits from the Juice library☆48Updated 10 months ago
- Nonparametric Score Estimators, ICML 2020☆36Updated 3 years ago
- Official project page for Estimating the Rate-Distortion Function by Wasserstein Gradient Descent☆17Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 9 months ago
- Alphazero on GPU thanks to CUDA.jl☆32Updated 3 years ago
- Non official implementation of the Linear Recurrent Unit (LRU, Orvieto et al. 2023)☆53Updated 5 months ago
- [NeurIPS'19] Deep Equilibrium Models Jax Implementation☆39Updated 4 years ago
- BrainProp: How the brain can implement reward-based error backpropagation☆16Updated 2 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- a collection of Gymnasium environments for saturation provers☆20Updated 3 weeks ago
- ☆19Updated last year
- Python interface for SCS☆43Updated 2 weeks ago
- A Tutorial on Deep Reinforcement Learning in PyTorch☆32Updated last year
- Factor Graph Grammars in Python☆13Updated 4 months ago
- Neuronal Circuit Policies☆40Updated 2 years ago
- Implementation of Bayesian Sum-Product Networks☆13Updated 4 years ago
- Methods to soundly verify deep neural networks☆229Updated last year
- Visualize, create, and operate on pytrees in the most intuitive way possible.☆45Updated 3 months ago
- paper lists and information on mean-field theory of deep learning☆74Updated 6 years ago
- Neural Fixed-Point Acceleration for Convex Optimization☆29Updated 2 years ago
- ZORB: A Derivative-Free Backpropagation Algorithm for Neural Networks☆22Updated 4 years ago
- a little library to help me with things involving Koopman operators☆11Updated 3 years ago