cheuktingli / psitipLinks
Python Symbolic Information Theoretic Inequality Prover
☆43Updated last month
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☆22Updated last month
- ☆14Updated 2 years ago
- a little library to help me with things involving Koopman operators☆12Updated 3 years ago
- ☆12Updated 2 years ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- Adaptive Subgoal Search☆19Updated 2 years ago
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆28Updated 2 years ago
- Python package for Sentential Decision Diagrams (SDD)☆63Updated 4 months ago
- ☆9Updated 2 years ago
- Alphazero on GPU thanks to CUDA.jl☆32Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆80Updated last year
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Factor Graph Grammars in Python☆13Updated 7 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆64Updated last year
- Interesting ATP Proofs☆13Updated 3 years ago
- Compiler with automatic differentiation☆48Updated last year
- The Lean Theorem Proving Environment☆14Updated 2 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆19Updated 11 months ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆154Updated 9 months ago
- An environment for learning formal mathematical reasoning from scratch☆71Updated 11 months ago
- deep learning for math☆30Updated 6 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Python talking to the Lean theorem prover☆45Updated 3 years ago
- ☆27Updated 3 years ago
- Generic PyTorch implementation of einsum that supports different semirings☆50Updated last year
- Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…☆23Updated last month
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated 2 years ago
- ☆58Updated 2 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year