inpefess / gym-saturation
a collection of Gymnasium environments for saturation provers
☆19Updated last week
Related projects ⓘ
Alternatives and complementary repositories for gym-saturation
- Jax-Baseline is a Reinforcement Learning implementation using JAX and Flax/Haiku libraries, mirroring the functionality of Stable-Baselin…☆40Updated last week
- Simple single file implementations of Reinforcement Learning algorithms in Julia☆20Updated last year
- ☆48Updated last year
- Adaptable tools to make reinforcement learning and evolutionary computation algorithms.☆53Updated 2 years ago
- A number of agents (PPO, MuZero) with a Perceiver-based NN architecture that can be trained to achieve goals in nethack/minihack environm…☆39Updated 2 years ago
- A project that provides help for using DeepMind's mctx on gym-style environments.☆50Updated 6 months ago
- ☆24Updated 2 years ago
- Explainable Reinforcement Learning (XRL) Resources☆33Updated last month
- A categorised list of Multi-Agent Reinforcemnt Learning (MARL) papers☆48Updated last year
- Benchmarks for Multi-Objective Multi-Agent Decision Making☆68Updated 2 weeks ago
- An implementation of MuZero in JAX.☆53Updated 2 years ago
- A C++ pytorch implementation of MuZero☆32Updated 6 months ago
- Jax implementation of Proximal Policy Optimization (PPO) specifically tuned for Procgen, with benchmarked results and saved model weights…☆49Updated 2 years ago
- Official implementation of the NeurIPS 2023 paper "Discovering General Reinforcement Learning Algorithms with Adversarial Environment Des…☆23Updated 4 months ago
- Official Implementation of "Can Learned Optimization Make Reinforcement Learning Less Difficult"☆11Updated last week
- Write simple games in Numpy!☆12Updated 2 years ago
- On-the-fly conversions between Jax and NumPy tensors☆45Updated last year
- Reinforcement Learning Seminar at the Chinese University of Hong Kong, Shenzhen, China.☆20Updated 11 months ago
- Code of the paper: Debiasing Meta-Gradient Reinforcement Learning by Learning the Outer Value Function☆13Updated last year
- ☆62Updated 8 months ago
- Pytorch Implementation of Stochastic MuZero for gym environment. This algorithm is capable of supporting a wide range of action and obser…☆56Updated last year
- ☆28Updated 2 years ago
- Levin tree search guided by both a policy and a heuristic function☆14Updated last year
- Deep Reinforcement Learning Framework done with PyTorch☆30Updated 2 weeks ago
- The official implementation of MeDQN algorithm.☆10Updated 9 months ago
- POMDP wrappers for OpenAI Gym☆15Updated 5 years ago
- fast + parallel AlphaZero in JAX☆84Updated 7 months ago
- A Predator-Prey-Grass multi-objective multi-agent gridworld environment implemented with Farama's Gymnasium, PettingZoo and MOMAland, fea…☆12Updated this week
- Contains JAX implementation of algorithms for inverse reinforcement learning☆62Updated 2 months ago
- A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.☆68Updated this week