inpefess / gym-saturation
a collection of Gymnasium environments for saturation provers
☆20Updated last month
Alternatives and similar repositories for gym-saturation:
Users that are interested in gym-saturation are comparing it to the libraries listed below
- ☆49Updated last year
- Code for Discovered Policy Optimisation (NeurIPS 2022)☆9Updated last year
- ☆21Updated 10 months ago
- ☆71Updated 6 months ago
- ☆43Updated last year
- An environment for learning formal mathematical reasoning from scratch☆62Updated 6 months ago
- A Declarative Language for Expressing Partial World Knowledge to Reinforcement Learning Agents☆14Updated last year
- Logic Reinforcement Learning☆15Updated 7 months ago
- Adaptive Subgoal Search☆19Updated last year
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆35Updated 2 years ago
- Explainable Reinforcement Learning (XRL) Resources☆37Updated 4 months ago
- An Open-Ended Agentic Simulator☆39Updated 6 months ago
- Experimentation framework for Popper☆21Updated 9 months ago
- Levin tree search guided by both a policy and a heuristic function☆17Updated last year
- Simple single file implementations of Reinforcement Learning algorithms in Julia☆20Updated last week
- Jax-Baseline is a Reinforcement Learning implementation using JAX and Flax/Haiku libraries, mirroring the functionality of Stable-Baselin…☆47Updated last week
- Learning Formal Mathematics from Intrinsic Motivation☆22Updated last week
- Contains JAX implementation of algorithms for inverse reinforcement learning☆69Updated 6 months ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Adaptable tools to make reinforcement learning and evolutionary computation algorithms.☆56Updated 2 years ago
- ☆59Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆77Updated 7 months ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 3 months ago
- Fully differentiable RL environments, written in Ivy.☆64Updated last year
- A categorised list of Multi-Agent Reinforcemnt Learning (MARL) papers☆48Updated 2 years ago
- A collection of RL algorithms written in JAX.☆95Updated 2 years ago
- ☆24Updated 2 years ago
- ☆73Updated 3 months ago
- A simple hypernetwork implementation in jax using haiku.☆23Updated 2 years ago
- ☆13Updated last year