lab-v2 / pyreason-gym
An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
☆27Updated last year
Alternatives and similar repositories for pyreason-gym:
Users that are interested in pyreason-gym are comparing it to the libraries listed below
- ☆12Updated last year
- Elevate your language models with insightful diversity metrics.☆11Updated 11 months ago
- LMQL implementation of tree of thoughts☆33Updated last year
- An environment for learning formal mathematical reasoning from scratch☆59Updated 5 months ago
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆14Updated 10 months ago
- Clover: Closed-Loop Verifiable Code Generation☆29Updated 8 months ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated 5 months ago
- ☆43Updated last year
- A library for simplifying fine tuning with multi gpu setups in the Huggingface ecosystem.☆16Updated 3 months ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- GPT-based language channel for NARS (ONA)☆26Updated last week
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆30Updated 4 years ago
- Certified Reasoning with Language Models☆30Updated last year
- Training hybrid models for dummies.☆18Updated 2 weeks ago
- Multibackend Graph Neural Networks in Keras 3☆25Updated 11 months ago
- Documentation for dynamic machine learning systems.☆29Updated 4 months ago
- Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.☆15Updated 2 years ago
- Based on the tree of thoughts paper☆46Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆19Updated 8 months ago
- This is the official repository for all the code of TheoremLlama☆35Updated 3 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆27Updated 11 months ago
- Implementations of Curious Replay for model-based adaptation.☆37Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆199Updated last week
- A new way to generate large quantities of high quality synthetic data (on par with GPT-4), with better controllability, at a fraction of …☆21Updated 3 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆31Updated 4 months ago
- ☆14Updated 4 months ago
- Automaton & Cognition☆16Updated 9 months ago
- Port of Aleph to SWI-Prolog☆45Updated 11 months ago
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Updated last year