inpefess / gym-saturation
a collection of Gymnasium environments for saturation provers
☆19Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for gym-saturation
- ☆48Updated last year
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated last year
- Simple single file implementations of Reinforcement Learning algorithms in Julia☆20Updated last year
- ☆43Updated last year
- The interface between Model Checking and Reinforcement Learning.☆13Updated 2 months ago
- ☆52Updated 2 years ago
- Alphazero on GPU thanks to CUDA.jl☆32Updated 3 years ago
- ☆24Updated 2 years ago
- Code for "Meta Learning Backpropagation And Improving It" @ NeurIPS 2021 https://arxiv.org/abs/2012.14905☆31Updated 2 years ago
- Bridging State and History Representations: Understanding Self-Predictive RL -- ICLR 2024☆13Updated 7 months ago
- Adaptable tools to make reinforcement learning and evolutionary computation algorithms.☆53Updated 2 years ago
- ☆20Updated 7 months 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…☆20Updated 3 years ago
- A collection of RL algorithms written in JAX.☆95Updated 2 years ago
- A simple option critic framework using Q-Learning☆11Updated 2 years ago
- Adaptive Subgoal Search☆19Updated last year
- A JAX Implementation of the Twin Delayed DDPG Algorithm☆32Updated 4 years ago
- Scalable Opponent Shaping Experiments in JAX☆21Updated 7 months ago
- A categorised list of Multi-Agent Reinforcemnt Learning (MARL) papers☆47Updated last year
- Implementation of PDFAs and PDFA learning algorithm.☆11Updated 3 years ago
- Jax-Baseline is a Reinforcement Learning implementation using JAX and Flax/Haiku libraries, mirroring the functionality of Stable-Baselin…☆40Updated last week
- Official implementation of the NeurIPS 2023 paper "Discovering General Reinforcement Learning Algorithms with Adversarial Environment Des…☆22Updated 4 months ago
- Explainable Reinforcement Learning (XRL) Resources☆33Updated last month
- ☆28Updated 2 years ago
- Levin tree search guided by both a policy and a heuristic function☆14Updated last year
- Contains JAX implementation of algorithms for inverse reinforcement learning☆63Updated 3 months ago
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆25Updated 2 years ago
- Benchmarks for Multi-Objective Multi-Agent Decision Making☆72Updated 3 weeks ago
- A project that provides help for using DeepMind's mctx on gym-style environments.☆50Updated last week
- Experimentation with Regularized Nash Dynamics on a GPU accelerated game☆39Updated last year