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 11 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- ☆62Updated 9 months ago
- ☆14Updated last year
- Based on the tree of thoughts paper☆48Updated last year
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆31Updated 2 months ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- Certified Reasoning with Language Models☆31Updated last year
- Deep relational learning through differentiable logic programming.☆107Updated 2 weeks ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆133Updated 3 months ago
- Prototype advanced LLM algorithms for reasoning and planning.☆96Updated last year
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆16Updated 7 months ago
- Repo for solving arc problems with an Neural Cellular Automata☆19Updated 3 months ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Updated 4 years ago
- ☆56Updated 2 months ago
- Evaluation of neuro-symbolic engines☆39Updated last year
- LMQL implementation of tree of thoughts☆34Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Automaton & Cognition☆16Updated last year
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- Documentation for dynamic machine learning systems.☆29Updated 11 months ago
- ☆29Updated 2 years ago
- High-performance tokenized language data-loader for Python C++ extension☆13Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- ☆70Updated 3 years ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆69Updated 2 months ago
- Using Large Language Models for Repo-wide Type Prediction☆111Updated last year
- A programming language for formal/informal computation.☆41Updated 2 weeks ago