Alternatives and similar repositories for rlc

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

• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆99Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year
• google-research / crossbeam
  ☆44Updated 2 years ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆112Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆141Updated 9 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• NetHack-LE / nle
  The NetHack Learning Environment
  ☆106Updated last week
• znah / zff
  8-bit computational substrates
  ☆47Updated last year
• samblouir / birdie
  ☆13Updated last month
• genlm / genlm-control
  Controlled text generation with programmable constraints
  ☆173Updated last week
• daios-ai / mindscript
  A programming language for formal/informal computation.
  ☆43Updated last month
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆81Updated last year
• flowersteam / vivarium
  Multi-agent simulator in Jax for research and teaching in AI & ALife
  ☆29Updated last week
• khalil-research / ARGA-AAAI23
  Abstract Reasoning with Graph Abstractions (ARGA) implementation
  ☆61Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆84Updated 4 months ago
• lio-wong / dreamcoder
  ☆74Updated 3 years ago
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆36Updated 6 months ago
• upiterbarg / lintseq
  [ICLR 2025] "Training LMs on Synthetic Edit Sequences Improves Code Synthesis" (Piterbarg, Pinto, Fergus)
  ☆19Updated 11 months ago
• facebookresearch / oni
  Learn online intrinsic rewards from LLM feedback
  ☆45Updated last year
• andyljones / boardlaw
  Scaling scaling laws with board games.
  ☆53Updated 2 years ago
• you68681 / GPAR
  ☆23Updated last year
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆107Updated 2 months ago
• genlm / llamppl
  Probabilistic programming with large language models
  ☆159Updated 2 months ago
• cognitiveailab / TextWorldExpress
  Super fast implementations of common benchmark text world games
  ☆52Updated 5 months ago
• jbkjr / train-procgen-pytorch
  Pytorch implementation on OpenAI's Procgen ppo-baseline, built from scratch.
  ☆14Updated last year
• NohTow / PPL-MCTS
  Repository for the code of the "PPL-MCTS: Constrained Textual Generation Through Discriminator-Guided Decoding" paper, NAACL'22
  ☆66Updated 3 years ago
• PufferAI / pokegym
  Gymnasium environment for Pokemon Red
  ☆47Updated last year
• timvieira / dyna-pi
  An interactive tool for analyzing, executing, and improving dynamic programming algorithms.
  ☆18Updated last week
• ShangtongZhang / rl-theory-in-lean
  Towards Formalizing RL Theory
  ☆45Updated 3 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated last year