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
  ☆31Updated last year
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆25Updated this week
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated last year
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated last month
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆46Updated last month
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 8 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆70Updated 10 months ago
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆26Updated 2 weeks ago
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated last year
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆45Updated 8 months ago
• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆15Updated 2 years ago
• realChrisHahn2 / nl2spec
  nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  ☆43Updated last year
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆24Updated 2 months ago
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆27Updated last week
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆40Updated 11 months ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆45Updated 2 years ago
• AdaptiveSubgoalSearch / adaptive_subs
  Adaptive Subgoal Search
  ☆19Updated 2 years ago
• ml-research / NeSyConceptLearner
  ☆19Updated 2 years ago
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated last year
• ilaspltd / ILASP-releases
  ☆37Updated 7 months ago
• dselsam / lean-gym
  ☆12Updated 2 years ago
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆77Updated last month
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆23Updated 3 years ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• probcomp / genlm-control
  ☆9Updated 2 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated last month