Alternatives and similar repositories for pyreason-rl-sim:

Users that are interested in pyreason-rl-sim are comparing it to the libraries listed below

• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆30Updated last year
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆24Updated last week
• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆14Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆65Updated 7 months ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆32Updated 10 months ago
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆21Updated last month
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆100Updated 5 months ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆41Updated last year
• CatherineWong / dreamcoder
  ☆62Updated 3 years ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆24Updated 5 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆22Updated 11 months ago
• princeton-nlp / lwm
  We develop world models that can be adapted with natural language. Intergrating these models into artificial agents allows humans to effe…
  ☆22Updated last year
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆86Updated last year
• JuliaPlanners / PDDL.jl
  Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.
  ☆84Updated 6 months ago
• google-research / crossbeam
  ☆43Updated last year
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆43Updated 5 months ago
• lean-dojo / LeanAgent
  ☆23Updated last month
• SimonOuellette35 / ARC_gym
  ARC gym: a data generation framework for the Abstraction & Reasoning Corpus
  ☆20Updated 3 months ago
• AutoVerse-ai / Verse-library
  Library for modeling, simulation, and verification of interacting autonomous agents
  ☆33Updated this week
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated 10 months ago
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated 10 months ago
• jcole75 / ARC_Solver
  Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.
  ☆15Updated 2 years ago
• realChrisHahn2 / nl2spec
  nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  ☆37Updated last year
• dselsam / lean-gym
  ☆12Updated 2 years ago
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆73Updated 6 months ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆70Updated last year
• k4ntz / NUDGE
  Logic Reinforcement Learning
  ☆16Updated 8 months ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆20Updated this week
• COLAB2 / midca
  The Metacognitive Integrated Dual-Cycle Architecture (MIDCA)
  ☆24Updated last year
• logictensornetworks / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆26Updated 6 months ago