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:
- Elevate your language models with insightful diversity metrics.☆11Updated last year
- Automaton & Cognition☆16Updated last year
- Deep relational learning through differentiable logic programming.☆112Updated 4 months ago
- An environment for learning formal mathematical reasoning from scratch☆70Updated last year
- Repo for solving arc problems with an Neural Cellular Automata☆22Updated 6 months ago
- ☆45Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- ☆44Updated 2 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆26Updated 2 years ago
- Based on the tree of thoughts paper☆48Updated 2 years ago
- ☆72Updated last year
- Evaluation of neuro-symbolic engines☆40Updated last year
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Updated 2 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆43Updated 5 months ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Updated 4 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆15Updated 8 months ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆53Updated 2 months ago
- ☆44Updated 2 years ago
- Documentation for dynamic machine learning systems.☆29Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆23Updated last year
- ☆23Updated last year
- Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.☆16Updated 3 years ago
- Using Large Language Models for Repo-wide Type Prediction☆112Updated 2 years ago
- Prototype advanced LLM algorithms for reasoning and planning.☆98Updated last year
- ☆15Updated 2 years ago
- ☆18Updated last year
- symbolic regression☆40Updated 3 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Generative cellular automaton-like learning environments for RL.☆19Updated 10 months ago