cheuktingli / psitipLinks
Python Symbolic Information Theoretic Inequality Prover
☆40Updated 2 weeks ago
Alternatives and similar repositories for psitip
Users that are interested in psitip are comparing it to the libraries listed below
Sorting:
- Loopy belief propagation for factor graphs on discrete variables in JAX☆152Updated 8 months ago
- ☆22Updated 3 years ago
- Abstract Algebra: An implementation of Finite Algebras: Groups, Rings, Fields, Vector Spaces, Modules, Monoids, Semigroups, and Magmas. …☆17Updated last month
- ☆140Updated 2 weeks ago
- ☆56Updated last month
- The Modified Differential Multiplier Method (MDMM) for PyTorch☆59Updated 4 years ago
- Probabilistic programming system for fast and exact symbolic inference☆80Updated 11 months ago
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆28Updated 2 years ago
- Python interface for SCS☆43Updated last week
- Lossless compression using Probabilistic Circuits☆16Updated 3 years ago
- Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…☆22Updated 2 weeks ago
- Turning SymPy expressions into JAX functions☆45Updated 4 years ago
- A miniscule implementation of reverse mode auto-differentiation☆29Updated 3 years ago
- NCVX: A User-Friendly and Scalable Package for Nonconvex Optimization in Machine Learning☆36Updated 2 years ago
- Official project page for Estimating the Rate-Distortion Function by Wasserstein Gradient Descent☆18Updated last year
- an Open Collaborative project to explore the implications — theoretical or practical — of the PDE perspective of ConvNets☆22Updated last year
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- Tools for JAX☆47Updated last week
- codebase for "A Theory of the Inductive Bias and Generalization of Kernel Regression and Wide Neural Networks"☆49Updated 2 years ago
- [NeurIPS'19] Deep Equilibrium Models Jax Implementation☆40Updated 4 years ago
- MIT EECS Thesis Proposal Template☆52Updated last year
- Dyna built on R-exprs (First Prototype)☆15Updated 3 years ago
- Functional models and algorithms for sparse signal processing☆90Updated last year
- Generic PyTorch implementation of einsum that supports different semirings☆49Updated 11 months ago
- Image augmentation library for Jax☆39Updated last year
- Bayesian algorithm execution (BAX)☆49Updated 3 years ago
- Bayesian optimization of discrete sequences☆21Updated 3 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- a collection of Gymnasium environments for saturation provers☆22Updated 2 weeks ago
- Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"☆105Updated 4 years ago