lab-v2 / pyreason-gym
An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
☆26Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for pyreason-gym
- An environment for learning formal mathematical reasoning from scratch☆53Updated 3 months ago
- ☆43Updated last year
- Elevate your language models with insightful diversity metrics.☆10Updated 9 months ago
- Clover: Closed-Loop Verifiable Code Generation☆26Updated 5 months ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆30Updated 4 years ago
- ☆52Updated 2 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆12Updated 3 months ago
- ☆43Updated 2 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆24Updated 8 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆18Updated 5 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 5 months ago
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆32Updated last year
- ☆20Updated 7 months ago
- symbolic regression☆36Updated 2 years ago
- Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.☆15Updated 2 years ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆19Updated last year
- Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…☆18Updated 2 years ago
- Minimum Description Length probing for neural network representations☆16Updated last week
- Evaluation of neuro-symbolic engines☆33Updated 3 months ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated last year
- ☆18Updated 2 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆181Updated this week
- Implementation of PDFAs and PDFA learning algorithm.☆11Updated 3 years ago
- A programming language for formal/informal computation.☆41Updated 5 months ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆37Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆34Updated last year
- PyTorch Implementation of the paper "Towards Learning Abductive Reasoning using VSA Distributed Representations".☆12Updated 3 months ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆64Updated last year