Alternatives and similar repositories for pyreason-gym:

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

• lab-v2 / pyreason-rl-sim
  ☆14Updated last year
• you68681 / GPAR
  ☆23Updated last year
• ExtensityAI / benchmark
  Evaluation of neuro-symbolic engines
  ☆35Updated 8 months ago
• plastic-labs / dspy-opentom
  Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset
  ☆16Updated last year
• konstantinosKokos / ape
  🧮 Algebraic Positional Encodings.
  ☆12Updated 3 months ago
• lab-v2 / langdiversity
  Elevate your language models with insightful diversity metrics.
  ☆11Updated last year
• google-research / crossbeam
  ☆43Updated 2 years ago
• HazyResearch / embroid
  Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification
  ☆11Updated last year
• SimonOuellette35 / ARC_gym
  ARC gym: a data generation framework for the Abstraction & Reasoning Corpus
  ☆21Updated 3 weeks ago
• srush / drop7
  ☆18Updated last year
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• cambridge-mlg / jolt
  ☆11Updated 2 months ago
• lamm-mit / LifeGPT
  ☆51Updated last month
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆66Updated 8 months ago
• IDSIA / GoGePo
  Official repository for the paper "Goal-Conditioned Generators of Deep Policies"
  ☆11Updated 2 years ago
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆19Updated 2 months ago
• IBM / NL2PDDL
  this is for fun, ain't it grand!
  ☆16Updated last year
• opennars / NARS-GPT
  GPT-based language channel for NARS (ONA)
  ☆31Updated 3 months ago
• LLNL / AutoCog
  Automaton & Cognition
  ☆16Updated last year
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated 11 months ago
• dgg32 / bayesian_kg
  ☆25Updated 2 years ago
• cvndsh / rebus
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆13Updated 8 months ago
• HEmile / a-nesi
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆14Updated 2 months ago
• smearle / autoverse
  Generative cellular automaton-like learning environments for RL.
  ☆19Updated 2 months 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 11 months ago
• lio-wong / dreamcoder
  ☆64Updated 3 years ago
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• Zyphra / zcookbook
  Training hybrid models for dummies.
  ☆20Updated 3 months ago
• MengLiuPurdue / Graph-Topological-Data-Analysis
  ☆43Updated last year