cheuktingli / psitipLinks
Python Symbolic Information Theoretic Inequality Prover
☆45Updated 4 months ago
Alternatives and similar repositories for psitip
Users that are interested in psitip are comparing it to the libraries listed below
Sorting:
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆29Updated 3 years ago
- Stochastic Automatic Differentiation library for PyTorch.☆208Updated last year
- ☆77Updated last month
- Convex optimization modeling in Lean 4☆55Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆66Updated 7 months ago
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- Generic PyTorch implementation of einsum that supports different semirings☆50Updated last year
- Probabilistic Circuits from the Juice library☆106Updated last year
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆57Updated 3 years ago
- ☆23Updated 4 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆157Updated last year
- 💡 Learnergy is a Python library for energy-based machine learning models.☆67Updated 7 months ago
- Dive into Jax, Flax, XLA and C++☆32Updated 5 years ago
- Compiler with automatic differentiation☆48Updated 2 years ago
- Efficient Householder Transformation in PyTorch☆66Updated 4 years ago
- Functional models and algorithms for sparse signal processing☆95Updated 2 years ago
- Graphically structured diffusion model.☆20Updated 2 years ago
- Butterfly matrix multiplication in PyTorch☆174Updated 2 years ago
- Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"☆104Updated 5 years ago
- 👑 Pytorch code for the Nero optimiser.☆20Updated 3 years ago
- A lightweight, multithreaded Python package for sketching, column selection, leverage scores and related computations.☆20Updated last month
- Riemannian Optimization Using JAX☆53Updated last year
- a collection of Gymnasium environments for saturation provers☆23Updated last month
- Scalable Convex Neural Networks☆24Updated 5 months ago
- LaTeX style file for the Journal of Machine Learning Research☆155Updated last year
- Code for the article "What if Neural Networks had SVDs?", to be presented as a spotlight paper at NeurIPS 2020.☆76Updated last year
- ☆146Updated 4 months ago
- Use numba-compiled kernels from within Jax☆31Updated 5 months ago
- Python interface for SCS☆45Updated last week