lab-v2 / pyreason-gym
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:
- ☆14Updated last year
- Elevate your language models with insightful diversity metrics.☆11Updated last year
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆26Updated 2 weeks ago
- An environment for learning formal mathematical reasoning from scratch☆66Updated 8 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated 9 months ago
- A library for simplifying fine tuning with multi gpu setups in the Huggingface ecosystem.☆16Updated 6 months ago
- Evaluation of neuro-symbolic engines☆35Updated 9 months ago
- ☆45Updated 7 months ago
- ☆65Updated 3 years ago
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆16Updated last year
- 🧮 Algebraic Positional Encodings.☆13Updated 4 months ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated 11 months ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆15Updated 3 months ago
- GPT-based language channel for NARS (ONA)☆31Updated 3 months ago
- Official repository for the paper "Goal-Conditioned Generators of Deep Policies"☆11Updated 2 years ago
- Automaton & Cognition☆16Updated last year
- ☆43Updated 2 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.☆15Updated 2 years ago
- ☆29Updated last week
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- Training hybrid models for dummies.☆21Updated 4 months ago
- ☆23Updated last year
- ☆51Updated 2 months ago
- LMQL implementation of tree of thoughts☆34Updated last year
- Memory-Based Meta-Learning on Non-Stationary Distributions☆15Updated last year
- Based on the tree of thoughts paper☆48Updated last year
- ☆18Updated 7 months ago