Alternatives and similar repositories for rlc

Users that are interested in rlc are comparing it to the libraries listed below

• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated 11 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆132Updated 3 months ago
• sethkarten / pokechamp
  Official repository of the spotlight ICML 2025 paper, PokeChamp: an Expert-level Minimax Language Agent.
  ☆92Updated this week
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆80Updated this week
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆90Updated 2 years ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆98Updated 9 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆78Updated last year
• imbue-ai / carbs
  Cost aware hyperparameter tuning algorithm
  ☆166Updated last year
• facebookresearch / oni
  Learn online intrinsic rewards from LLM feedback
  ☆42Updated 7 months ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆279Updated 4 months ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 2 weeks 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
• NetHack-LE / nle
  The NetHack Learning Environment
  ☆87Updated 3 weeks ago
• genlm / llamppl
  Probabilistic programming with large language models
  ☆129Updated 2 weeks ago
• samblouir / birdie
  ☆13Updated 2 months ago
• khalil-research / ARGA-AAAI23
  Abstract Reasoning with Graph Abstractions (ARGA) implementation
  ☆61Updated last year
• kach / memo
  A domain-specific probabilistic programming language for reasoning about reasoning
  ☆95Updated this week
• ssokota / mec
  Code for minimum-entropy coupling.
  ☆32Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆38Updated last year
• you68681 / GPAR
  ☆23Updated last year
• redwoodresearch / interp
  Redwood Research's transformer interpretability tools
  ☆14Updated 3 years ago
• lowrollr / turbozero
  fast + parallel AlphaZero in JAX
  ☆97Updated 7 months ago
• algo-reasoning / algo-reasoning.github.io
  Neural Algorithmic Reasoning Tutorial
  ☆12Updated 2 years ago
• balrog-ai / BALROG
  Benchmarking Agentic LLM and VLM Reasoning On Games
  ☆179Updated 3 weeks ago
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆36Updated last month
• glassroom / heinsen_sequence
  Code implementing "Efficient Parallelization of a Ubiquitious Sequential Computation" (Heinsen, 2023)
  ☆94Updated 8 months ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆46Updated 9 months ago
• andyljones / boardlaw
  Scaling scaling laws with board games.
  ☆52Updated 2 years ago