inpefess / gym-saturation
a collection of Gymnasium environments for saturation provers
☆20Updated last week
Alternatives and similar repositories for gym-saturation:
Users that are interested in gym-saturation are comparing it to the libraries listed below
- ☆50Updated last year
- An environment for learning formal mathematical reasoning from scratch☆65Updated 7 months ago
- Learning Formal Mathematics from Intrinsic Motivation☆26Updated 2 weeks ago
- Classic MCTS example with mctx☆18Updated last year
- ☆43Updated last year
- symbolic regression☆39Updated 2 years ago
- A project that provides help for using DeepMind's mctx on gym-style environments.☆57Updated 4 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆37Updated 2 years ago
- ☆74Updated last week
- An Open-Ended Agentic Simulator☆45Updated 7 months ago
- Neuroevolution Benchmark in JAX 🦕☆38Updated last year
- ☆24Updated 2 years ago
- ☆22Updated 11 months ago
- Pytorch Implementation of Stochastic MuZero for gym environment. This algorithm is capable of supporting a wide range of action and obser…☆64Updated last year
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Updated 4 years ago
- A Jax/Stax implementation of the general meta learning paper: Oh, J., Hessel, M., Czarnecki, W.M., Xu, Z., van Hasselt, H.P., Singh, S. a…☆21Updated 4 years ago
- Simple single file implementations of Reinforcement Learning algorithms in Julia☆22Updated last month
- Standard interface for entity based reinforcement learning environments.☆36Updated last year
- Monte Carlo tree search in JAX, with functionality to continue search from a previous subtree☆17Updated last year
- Baselines for gymnax 🤖☆66Updated last year
- Official Implementation of "Can Learned Optimization Make Reinforcement Learning Less Difficult"☆22Updated 4 months ago
- Applications of reinforcement learning to Groebner basis computation.☆11Updated 3 years ago
- Explainable Reinforcement Learning (XRL) Resources☆38Updated 6 months ago
- An implementation of MuZero in JAX.☆56Updated 2 years ago
- Scalable Opponent Shaping Experiments in JAX☆24Updated 11 months ago
- Experimentation framework for Popper☆21Updated 10 months ago
- Code for Discovered Policy Optimisation (NeurIPS 2022)☆9Updated last year
- Deep Reinforcement Learning Framework done with PyTorch☆34Updated 2 weeks ago
- A C++ pytorch implementation of MuZero☆36Updated 10 months ago