cheuktingli / psitipLinks
Python Symbolic Information Theoretic Inequality Prover
☆45Updated 3 months ago
Alternatives and similar repositories for psitip
Users that are interested in psitip are comparing it to the libraries listed below
Sorting:
- a collection of Gymnasium environments for saturation provers☆23Updated this week
- Generic PyTorch implementation of einsum that supports different semirings☆50Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆29Updated 3 years ago
- Probabilistic Circuits from the Juice library☆106Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆66Updated 7 months ago
- Python interface for SCS☆44Updated this week
- Stochastic Automatic Differentiation library for PyTorch.☆206Updated last year
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Compiler with automatic differentiation☆48Updated last year
- ☆20Updated 2 years ago
- Scalable Convex Neural Networks☆24Updated 4 months ago
- Efficient Householder Transformation in PyTorch☆66Updated 4 years ago
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆17Updated 3 years ago
- implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019☆18Updated 5 years ago
- Scalable training and inference for Probabilistic Circuits☆76Updated 2 months ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- Dive into Jax, Flax, XLA and C++☆32Updated 5 years ago
- ☆23Updated 4 years ago
- 👑 Pytorch code for the Nero optimiser.☆20Updated 2 years ago
- [NeurIPS'19] Deep Equilibrium Models Jax Implementation☆40Updated 4 years ago
- NCVX: A User-Friendly and Scalable Package for Nonconvex Optimization in Machine Learning☆36Updated 3 years ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆156Updated 11 months ago
- Convex optimization modeling in Lean 4☆54Updated last year
- Turning SymPy expressions into JAX functions☆45Updated 4 years ago
- Applications of reinforcement learning to Groebner basis computation.☆13Updated 4 years ago
- Alphazero on GPU thanks to CUDA.jl☆32Updated 4 years ago
- MIT EECS Thesis Proposal Template☆55Updated last year
- Functional models and algorithms for sparse signal processing☆95Updated last year
- LaTeX style file for the Journal of Machine Learning Research☆152Updated last year