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
- ☆45Updated last year
- Deep relational learning through differentiable logic programming.☆112Updated 3 months ago
- Prototype advanced LLM algorithms for reasoning and planning.☆96Updated last year
- Evaluation of neuro-symbolic engines☆39Updated last year
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆12Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆29Updated last year
- ☆61Updated 4 months ago
- Experiments with interactive theorem provers, LLMs and formal systems☆22Updated 2 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆41Updated 5 months ago
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆23Updated last year
- Based on the tree of thoughts paper☆48Updated 2 years ago
- Repo for solving arc problems with an Neural Cellular Automata☆21Updated 5 months ago
- ☆43Updated 2 years ago
- ☆44Updated 2 years ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Automaton & Cognition☆16Updated last year
- LILO: Library Induction with Language Observations☆88Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- LLMs + Lean, on your laptop or in the cloud☆192Updated last month
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆16Updated 9 months ago
- ☆68Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated last year
- ☆14Updated 2 years ago
- Generative cellular automaton-like learning environments for RL.☆19Updated 9 months ago
- LMQL implementation of tree of thoughts☆34Updated last year
- High-performance tokenized language data-loader for Python C++ extension☆13Updated last year
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- A programming language for formal/informal computation.☆41Updated 3 months ago