lab-v2 / pyreason-gymLinks
An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
☆32Updated 2 years ago
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
- Deep relational learning through differentiable logic programming.☆112Updated 4 months ago
- ☆45Updated last year
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆23Updated last year
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- Based on the tree of thoughts paper☆48Updated 2 years ago
- Bayesian scaling laws for in-context learning.☆15Updated 9 months ago
- ☆29Updated 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
- Multibackend Graph Neural Networks in Keras 3☆25Updated last year
- List of awesome JAX resources☆13Updated 3 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆45Updated 6 months ago
- ☆64Updated 6 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆24Updated last year
- Save, track and query 3D+time locations of objects in the AtomSpace☆15Updated 8 months ago
- ☆16Updated 2 years ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆43Updated 2 years ago
- Explanation Ontology Resource website☆11Updated last year
- Using Large Language Models for Repo-wide Type Prediction☆112Updated 2 years ago
- Evaluation of neuro-symbolic engines☆40Updated last year
- Minimal open-source implementation of AlphaProof [WIP]☆54Updated last week
- Prototype advanced LLM algorithms for reasoning and planning.☆98Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Updated 5 years ago
- ☆44Updated last year
- Certified Reasoning with Language Models☆31Updated 2 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 5 months ago
- Documentation for dynamic machine learning systems.☆29Updated last year
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated last year