inpefess / gym-saturationLinks
a collection of Gymnasium environments for saturation provers
☆22Updated this week
Alternatives and similar repositories for gym-saturation
Users that are interested in gym-saturation are comparing it to the libraries listed below
Sorting:
- ☆51Updated 2 years ago
- An environment for learning formal mathematical reasoning from scratch☆69Updated 9 months ago
- ☆43Updated 2 years ago
- Adaptive Subgoal Search☆19Updated 2 years ago
- ☆23Updated last year
- Learning Formal Mathematics from Intrinsic Motivation☆30Updated 2 months ago
- fast + parallel AlphaZero in JAX☆96Updated 5 months ago
- ☆14Updated 2 years ago
- ☆12Updated 2 years ago
- ☆24Updated 2 years ago
- Alphazero on GPU thanks to CUDA.jl☆32Updated 3 years ago
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆38Updated 5 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 7 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- A project that provides help for using DeepMind's mctx on gym-style environments.☆60Updated 6 months ago
- Jax-Baseline is a Reinforcement Learning implementation using JAX and Flax/Haiku libraries, mirroring the functionality of Stable-Baselin…☆53Updated 3 weeks ago
- Proof artifact co-training for Lean☆45Updated 2 years ago
- Simple single file implementations of Reinforcement Learning algorithms in Julia☆22Updated 3 months ago
- Adaptable tools to make reinforcement learning and evolutionary computation algorithms.☆56Updated 3 years ago
- Levin tree search guided by both a policy and a heuristic function☆19Updated last year
- symbolic regression☆39Updated 2 years ago
- ☆66Updated 3 years ago
- ☆37Updated 6 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆20Updated this week
- a little library to help me with things involving Koopman operators☆12Updated 3 years ago
- Reinforcement learning in pure JAX.☆13Updated 3 months ago
- SkillHack: A Benchmark for Skill Transfer in Open-Ended Reinforcement Learning☆16Updated 2 years ago
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆28Updated 2 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆25Updated 2 years ago
- Bonn Lean course for winter 24/25☆31Updated 5 months ago