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
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆19Updated last year
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- Deep relational learning through differentiable logic programming.☆112Updated last month
- Based on the tree of thoughts paper☆48Updated 2 years ago
- ☆14Updated 2 years ago
- ☆23Updated last year
- List of awesome JAX resources☆13Updated 2 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆37Updated 3 months ago
- Documentation for dynamic machine learning systems.☆29Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆29Updated last year
- Repo for solving arc problems with an Neural Cellular Automata☆19Updated 4 months ago
- Evaluation of neuro-symbolic engines☆39Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- ☆61Updated 3 months ago
- ☆29Updated 2 years ago
- TextGraphs + LLMs + graph ML for entity extraction, linking, ranking, and constructing a lemma graph☆25Updated last year
- Multibackend Graph Neural Networks in Keras 3☆25Updated last year
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆16Updated 8 months ago
- ☆45Updated last year
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated last year
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆12Updated 10 months ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Updated 4 years ago
- ☆14Updated 3 weeks ago
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Updated 2 years ago
- Automaton & Cognition☆16Updated last year
- ☆24Updated 2 years ago
- General-purpose program synthesiser☆48Updated 11 months ago
- A programming language for formal/informal computation.☆41Updated last month