lab-v2 / pyreason-gymLinks
An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
☆31Updated last year
Alternatives and similar repositories for pyreason-gym
Users that are interested in pyreason-gym are comparing it to the libraries listed below
Sorting:
- ☆14Updated last year
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- Elevate your language models with insightful diversity metrics.☆11Updated last year
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆26Updated last month
- An environment for learning formal mathematical reasoning from scratch☆67Updated 9 months ago
- Official repository for the paper "Goal-Conditioned Generators of Deep Policies"☆11Updated 2 years ago
- Repo for solving arc problems with an Neural Cellular Automata☆15Updated 2 weeks ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated 9 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- ☆45Updated 8 months ago
- 🧮 Algebraic Positional Encodings.☆13Updated 4 months ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 3 weeks ago
- Efficient Computation of d-Dimensional Earth Mover's Distance☆9Updated last year
- Credici: Credal Inference for Causal Inference☆16Updated 2 weeks ago
- ☆52Updated 2 months ago
- this is for fun, ain't it grand!☆16Updated 3 weeks ago
- Implementations of Curious Replay for model-based adaptation.☆40Updated last year
- ☆11Updated 3 months ago
- ☆45Updated last year
- We develop world models that can be adapted with natural language. Intergrating these models into artificial agents allows humans to effe…☆23Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- Official code for paper: Conservative objective models are a special kind of contrastive divergence-based energy model☆14Updated last year
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆16Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences