inpefess / gym-saturationLinks
a collection of Gymnasium environments for saturation provers
☆23Updated last month
Alternatives and similar repositories for gym-saturation
Users that are interested in gym-saturation are comparing it to the libraries listed below
Sorting:
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- ☆44Updated 2 weeks ago
- Proof artifact co-training for Lean☆44Updated 3 years ago
- Experimentation framework for Popper☆24Updated 6 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- Interesting ATP Proofs☆13Updated 4 years ago
- Interactive neural theorem proving in Lean☆132Updated 3 years ago
- ☆16Updated 2 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆58Updated 2 years ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Updated 5 years ago
- ☆51Updated 3 years ago
- ☆200Updated 3 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Updated last year
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆36Updated last week
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆25Updated 11 months ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆94Updated 4 years ago
- egraph <-> json☆16Updated last month
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated 3 months ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Updated last year
- Conservative floating point interval arithmetic in Lean☆24Updated last week
- ☆39Updated last year
- Formalizing stochastic doubly-efficient debate☆118Updated last year
- ☆20Updated 2 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year