inpefess / gym-saturationLinks
a collection of Gymnasium environments for saturation provers
☆22Updated 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 Symbolic Information Theoretic Inequality Prover☆43Updated last month
- ☆11Updated 3 years ago
- Applications of reinforcement learning to Groebner basis computation.☆12Updated 4 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 8 months ago
- An environment for learning formal mathematical reasoning from scratch☆71Updated 11 months ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆19Updated 11 months ago
- Adaptive Subgoal Search☆19Updated 2 years ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆13Updated this week
- a little library to help me with things involving Koopman operators☆12Updated 3 years ago
- ☆52Updated 2 years ago
- ☆12Updated 2 years ago
- ☆14Updated 2 years ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Updated 4 years ago
- Alphazero on GPU thanks to CUDA.jl☆32Updated 3 years ago
- Parallel SAT Solver☆10Updated 7 years ago
- Python talking to the Lean theorem prover☆45Updated 3 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆21Updated 2 weeks ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Learning Formal Mathematics from Intrinsic Motivation☆35Updated last week
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago
- ☆16Updated 2 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆35Updated 2 years ago
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆73Updated last year
- General-purpose program synthesiser☆46Updated 8 months ago
- ☆67Updated 3 years ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 2 months ago
- Bonn Lean course for winter 24/25☆31Updated 7 months ago
- ☆43Updated 2 years ago
- ☆14Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year