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
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 2 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated 10 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
  ☆45Updated last year
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated last month
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆46Updated 8 months ago
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆24Updated 2 weeks ago
• ml-research / NeSyConceptLearner
  ☆19Updated 2 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated 2 months ago
• dselsam / lean-gym
  ☆12Updated 2 years ago
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆92Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 9 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated last year
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆47Updated 2 months ago
• lio-wong / dreamcoder
  ☆67Updated 3 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
• google-research / crossbeam
  ☆43Updated 2 years ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆26Updated 3 months ago
• ebmoon / transformers-GAD
  [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution
  ☆19Updated 5 months ago
• raminmh / ordinary-neural-circuits
  Code repo for paper: ICML 2020 paper Natural lottery ticket winner: RL for ordinary neural circuits
  ☆13Updated 5 years ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆45Updated 2 years ago
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆27Updated last week
• AdaptiveSubgoalSearch / adaptive_subs
  Adaptive Subgoal Search
  ☆19Updated 2 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated 2 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