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
- Repo for solving arc problems with an Neural Cellular Automata☆18Updated 2 months ago
- ☆55Updated last month
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- Deep relational learning through differentiable logic programming.☆106Updated last year
- ☆61Updated 8 months ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆29Updated last month
- Evaluation of neuro-symbolic engines☆38Updated last year
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆17Updated last year
- ☆45Updated 10 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated 11 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- ☆23Updated last year
- Prototype advanced LLM algorithms for reasoning and planning.☆96Updated last year
- ☆14Updated last year
- ☆43Updated 2 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆27Updated 10 months ago
- Documentation for dynamic machine learning systems.☆29Updated 10 months ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆282Updated last week
- General-purpose program synthesiser☆46Updated 9 months ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆132Updated 3 months ago
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Updated 8 months ago
- Based on the tree of thoughts paper☆48Updated last year
- List of awesome JAX resources☆13Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 2 months ago
- ☆68Updated 3 years ago
- Certified Reasoning with Language Models☆31Updated last year
- A programming language for formal/informal computation.☆41Updated last week