Alternatives and similar repositories for pyreason-gym

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

• lab-v2 / langdiversity
  Elevate your language models with insightful diversity metrics.
  ☆11Updated last year
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆113Updated 5 months ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆27Updated 2 years ago
• lab-v2 / pyreason-rl-sim
  ☆16Updated 2 years ago
• google-research / crossbeam
  ☆44Updated 2 years ago
• qrdlgit / graph-of-thoughts
  Based on the tree of thoughts paper
  ☆48Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year
• facebookresearch / recur
  symbolic regression
  ☆40Updated 3 years ago
• HEmile / a-nesi
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆23Updated 11 months ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆30Updated last year
• etimush / ARC_NCA
  Repo for solving arc problems with an Neural Cellular Automata
  ☆23Updated 7 months ago
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆17Updated 3 years ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆140Updated 8 months ago
• MilesCranmer / pysr_scaling_laws
  You should use PySR to find scaling laws. Here's an example.
  ☆33Updated 2 years ago
• juliusberner / deep_kolmogorov
  Numerically Solving Parametric Families of High-Dimensional Kolmogorov Partial Differential Equations via Deep Learning (NeurIPS 2020)
  ☆22Updated 3 years ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆55Updated 4 months ago
• opencog / spacetime
  Save, track and query 3D+time locations of objects in the AtomSpace
  ☆15Updated 9 months ago
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆18Updated last year
• nathanael-fijalkow / DeepSynth
  DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …
  ☆50Updated last year
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆49Updated 7 months ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• VITA-Group / ChainCoder
  [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …
  ☆43Updated 2 years ago
• epfl-dlab / GPTurk
  ☆29Updated 2 years ago
• RewardReports / reward-reports
  Documentation for dynamic machine learning systems.
  ☆29Updated last year
• keyonvafa / world-model-evaluation
  ☆75Updated last year
• normal-computing / branches
  Prototype advanced LLM algorithms for reasoning and planning.
  ☆99Updated last year
• NL2Code / CodeM
  ☆44Updated last year
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆23Updated 2 years ago
• firetto / Walnut
  ☆11Updated last year
• aryamanarora / bayesian-laws-icl
  Bayesian scaling laws for in-context learning.
  ☆15Updated 10 months ago