An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
☆32Dec 28, 2023Updated 2 years ago
Alternatives and similar repositories for pyreason-gym
Users that are interested in pyreason-gym are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Sep 28, 2023Updated 3 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆354Oct 26, 2026Updated last week
- Elevate your language models with insightful diversity metrics.☆11Feb 4, 2024Updated 2 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆15Dec 31, 2022Updated 3 years ago
- Character-based seq2seq models (english => predicate logic)☆16Dec 26, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An environment for learning formal mathematical reasoning from scratch☆72Aug 18, 2024Updated 2 years ago
- Integrating Symbolic AI Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆17Updated this week
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆20Jul 26, 2021Updated 5 years ago
- ☆12Dec 12, 2021Updated 4 years ago
- Translating HTN planning problems to PDDL☆23Jul 7, 2021Updated 5 years ago
- Certified Reasoning with Language Models☆31Dec 6, 2023Updated 2 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Oct 29, 2026Updated last week
- Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.☆16Oct 18, 2022Updated 4 years ago
- ☆12Jun 5, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- chatGPT prompts and programs generated by chatGPT (OpenAI)☆11Jan 22, 2026Updated 9 months ago
- Haskell interface to automated theorem provers☆10Feb 10, 2022Updated 4 years ago
- ROS wrapper for AirDet☆12Jul 24, 2022Updated 4 years ago
- An analysis of 9 terrorist attack networks across various countries between the years 2000 and 2005 using a Gephi network graph visualiza…☆13Dec 25, 2019Updated 6 years ago
- Train transformers on synthetic graph search problems to measure their scaling behavior and to do mechanistic analysis.☆11Oct 22, 2025Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆58Sep 17, 2025Updated last year
- A library to generate concept map from a research paper. Powered by LLM.☆17Apr 23, 2023Updated 3 years ago
- Repo to play with Solid Start features☆10Mar 9, 2022Updated 4 years ago
- Bunch of honey related items that spoof/decoy powersploit functions.☆17Apr 23, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Resources for Tutorial on Neuro-Symbolic Representations for IR☆15Jul 23, 2023Updated 3 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆57Oct 26, 2026Updated last week
- Lectures on NLP☆13Aug 18, 2023Updated 3 years ago
- Simple examples on how to implement a DSL in Haskell.☆19Nov 6, 2019Updated 7 years ago
- Barebones demo of the solid data grid component☆10Apr 11, 2022Updated 4 years ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Updated this week
- Remix Hackernews Demo built on Stream☆11Apr 16, 2022Updated 4 years ago
- ☆14Dec 31, 2023Updated 2 years ago
- A prettier plugin for parsing and printing Marko files.☆13Oct 13, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- Clojure bindings for Scryer Prolog☆19Feb 16, 2025Updated last year
- Community guide for tracking Bun supports library / framework☆12Apr 27, 2023Updated 3 years ago
- Code for "From the Real World to Logic and Back: Learning Symbolic World Models for Long Horizon Planning". CoRL 2025.☆14Nov 6, 2025Updated last year
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Jun 20, 2026Updated 4 months ago
- Neuro-Symbolic Message-Passing Reasoner☆16Mar 4, 2025Updated last year
- Humanoid Hanoi benchmark Mujoco environment☆14Sep 5, 2026Updated 2 months ago