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
- ☆29Updated 2 years ago
- ☆23Updated last year
- Repo for solving arc problems with an Neural Cellular Automata☆19Updated 5 months ago
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- ☆68Updated 11 months ago
- Deep relational learning through differentiable logic programming.☆111Updated 2 months 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
- Documentation for dynamic machine learning systems.☆29Updated last year
- ☆45Updated last year
- A programming language for formal/informal computation.☆41Updated 2 months ago
- Dynamic causal Bayesian optimisation☆40Updated 2 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆38Updated 4 months ago
- ☆18Updated last year
- ☆43Updated 2 years ago
- ☆12Updated last year
- Evaluation of neuro-symbolic engines☆39Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.☆16Updated 3 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 6 months ago
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆23Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- ☆14Updated 2 years ago
- Memory-Based Meta-Learning on Non-Stationary Distributions☆16Updated last year
- Prototype advanced LLM algorithms for reasoning and planning.☆96Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆50Updated last month
- LMQL implementation of tree of thoughts☆34Updated last year
- ☆61Updated 4 months ago
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆12Updated 11 months ago