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:
- ☆14Updated last year
- Elevate your language models with insightful diversity metrics.☆11Updated last year
- ☆11Updated 4 months ago
- ☆45Updated 9 months ago
- Evaluation of neuro-symbolic engines☆38Updated 11 months ago
- Repo for solving arc problems with an Neural Cellular Automata☆17Updated last month
- ☆55Updated 3 weeks ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆27Updated last month
- ☆29Updated last year
- Deep relational learning through differentiable logic programming.☆105Updated 11 months ago
- High-performance tokenized language data-loader for Python C++ extension☆13Updated 11 months ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Updated 4 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- An environment for learning formal mathematical reasoning from scratch☆71Updated 10 months ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- Official code for paper: Conservative objective models are a special kind of contrastive divergence-based energy model☆14Updated last year
- Documentation for dynamic machine learning systems.☆29Updated 10 months ago
- Residual Quantization Autoencoder, used for interpreting LLMs☆12Updated 6 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- ☆43Updated 2 years ago
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆17Updated last year
- ☆67Updated 3 years ago
- Quantification of Uncertainty with Adversarial Models☆30Updated 2 years ago
- ☆23Updated last year
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Updated last year
- Enjoy puzzle-solving directly in your browser.☆28Updated 2 months ago
- Holographic Reduced Representations☆26Updated 8 months ago
- The application is a end-user training and evaluation system for standard knowledge graph embedding models. It was developed to optimise …☆18Updated last month
- Code repo for paper: ICML 2020 paper Natural lottery ticket winner: RL for ordinary neural circuits☆13Updated 5 years ago
- This repository contains code for data preparation and experiments for pre training llm with repository level context in various ways☆11Updated last year