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
  ☆69Updated last year
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆94Updated 2 years ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆106Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆137Updated 6 months ago
• NetHack-LE / nle
  The NetHack Learning Environment
  ☆94Updated 2 months ago
• you68681 / GPAR
  ☆23Updated last year
• barakeel / oeis-synthesis
  ☆24Updated this week
• jbkjr / train-procgen-pytorch
  Pytorch implementation on OpenAI's Procgen ppo-baseline, built from scratch.
  ☆14Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆83Updated 2 months ago
• levilelis / h-levin
  Levin tree search guided by both a policy and a heuristic function
  ☆19Updated 2 years ago
• google-deepmind / diplomacy
  ☆58Updated last year
• khalil-research / ARGA-AAAI23
  Abstract Reasoning with Graph Abstractions (ARGA) implementation
  ☆61Updated last year
• kitft / funsearch
  Genetic programming using LLMs
  ☆51Updated 8 months ago
• kenjyoung / mctx_learning_demo
  ☆52Updated 2 years ago
• upiterbarg / lintseq
  [ICLR 2025] "Training LMs on Synthetic Edit Sequences Improves Code Synthesis" (Piterbarg, Pinto, Fergus)
  ☆19Updated 9 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• maciej-sypetkowski / autoascend
  The first place solution for the NeurIPS 2021 Nethack Challenge -- https://www.aicrowd.com/challenges/neurips-2021-the-nethack-challenge
  ☆60Updated 2 years ago
• upiterbarg / diff_history
  [ICML 2024] Official code release accompanying the paper "diff History for Neural Language Agents" (Piterbarg, Pinto, Fergus)
  ☆20Updated last year
• redwoodresearch / interp
  Redwood Research's transformer interpretability tools
  ☆14Updated 3 years ago
• maxencefaldor / omni-epic
  OMNI-EPIC: Open-endedness via Models of human Notions of Interestingness with Environments Programmed in Code (ICLR 2025).
  ☆69Updated 10 months ago
• keyonvafa / world-model-evaluation
  ☆68Updated last year
• ssokota / mec
  Code for minimum-entropy coupling.
  ☆32Updated last year
• IBM / neuro-vector-symbolic-architectures
  PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…
  ☆96Updated 2 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆39Updated last year
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆81Updated last year
• ellisk42 / LambdaBeam
  ☆13Updated last year
• imbue-ai / carbs
  Cost aware hyperparameter tuning algorithm
  ☆173Updated last year
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆48Updated last year
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 3 months ago
• facebookresearch / oni
  Learn online intrinsic rewards from LLM feedback
  ☆44Updated 11 months ago