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
- Deep relational learning through differentiable logic programming.☆108Updated last month
- ☆45Updated 11 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- Repo for solving arc problems with an Neural Cellular Automata☆20Updated 3 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- ☆59Updated 2 months ago
- ☆23Updated last year
- Automaton & Cognition☆16Updated last year
- Using Large Language Models for Repo-wide Type Prediction☆110Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- ☆63Updated 10 months ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆41Updated last year
- ☆43Updated 2 years ago
- Based on the tree of thoughts paper☆48Updated 2 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated last year
- Documentation for dynamic machine learning systems.☆29Updated last year
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆35Updated 3 months ago
- Generative cellular automaton-like learning environments for RL.☆19Updated 7 months ago
- Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles☆45Updated last week
- ☆29Updated 2 years ago
- Evaluation of neuro-symbolic engines☆39Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆135Updated 4 months ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- List of awesome JAX resources☆13Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆16Updated 7 months ago
- ☆14Updated last year
- You should use PySR to find scaling laws. Here's an example.☆33Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆48Updated 4 months ago