lab-v2 / pyreason-gym
An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
☆28Updated last year
Alternatives and similar repositories for pyreason-gym:
Users that are interested in pyreason-gym are comparing it to the libraries listed below
- ☆13Updated last year
- Elevate your language models with insightful diversity metrics.☆11Updated last year
- ☆43Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆27Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆31Updated 9 months ago
- An environment for learning formal mathematical reasoning from scratch☆62Updated 6 months ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆31Updated 4 years ago
- ☆45Updated 5 months ago
- LMQL implementation of tree of thoughts☆33Updated last year
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated 6 months ago
- this is for fun, ain't it grand!☆13Updated 10 months ago
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Updated last year
- We develop world models that can be adapted with natural language. Intergrating these models into artificial agents allows humans to effe…☆22Updated last year
- Implementations of Curious Replay for model-based adaptation.☆38Updated last year
- Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.☆15Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated 9 months ago
- Based on the tree of thoughts paper☆46Updated last year
- Interview-based evaluation of LLMs☆16Updated last month
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆13Updated last month
- ☆61Updated 3 years ago
- deep learning for math☆29Updated 5 years ago
- Documentation for dynamic machine learning systems.☆29Updated 5 months ago
- Minimum Description Length probing for neural network representations☆19Updated last month
- ☆21Updated 11 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- ☆14Updated 5 months ago
- Holographic Reduced Representations☆25Updated 3 months ago
- Official code for paper: Conservative objective models are a special kind of contrastive divergence-based energy model☆14Updated last year