cheuktingli / psitipLinks
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
Sorting:
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆28Updated 2 years ago
- An interactive tool for analyzing, executing, and improving dynamic programming algorithms.☆13Updated 10 months ago
- The Modified Differential Multiplier Method (MDMM) for PyTorch☆59Updated 4 years ago
- Generic PyTorch implementation of einsum that supports different semirings☆49Updated 10 months ago
- ☆22Updated 3 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Updated last year
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆151Updated 7 months ago
- Code for the book "The Elements of Differentiable Programming".☆87Updated this week
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 10 months ago
- Code for the 2-simplicial Transformer paper☆18Updated 5 years ago
- a collection of Gymnasium environments for saturation provers☆22Updated this week
- Abstract Algebra: An implementation of Finite Algebras: Groups, Rings, Fields, Vector Spaces, Modules, Monoids, Semigroups, and Magmas. …☆17Updated 3 weeks ago
- ☆80Updated 3 years ago
- Turning SymPy expressions into JAX functions☆45Updated 4 years ago
- Lossless compression using Probabilistic Circuits☆16Updated 3 years ago
- Discontinuous Hamiltonian Monte Carlo in JAX☆41Updated 5 years ago
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆41Updated last year
- Tools for JAX☆47Updated last week
- Dive into Jax, Flax, XLA and C++☆31Updated 5 years ago
- A small library for creating and manipulating custom JAX Pytree classes☆56Updated 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
- A simple hypernetwork implementation in jax using haiku.☆23Updated 2 years ago
- [NeurIPS'19] Deep Equilibrium Models Jax Implementation☆39Updated 4 years ago
- Fast Discounted Cumulative Sums in PyTorch☆96Updated 3 years ago
- Stochastic Automatic Differentiation library for PyTorch.☆204Updated 9 months ago
- Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"☆107Updated 4 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Minimal Implementation of Bayesian Optimization in JAX☆95Updated last month
- Image augmentation library for Jax☆39Updated last year