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 last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆81Updated 2 weeks ago
• NetHack-LE / nle
  The NetHack Learning Environment
  ☆90Updated 3 weeks ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆47Updated 11 months ago
• google-research / crossbeam
  ☆43Updated 2 years 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
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆135Updated 4 months ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆93Updated 2 years ago
• khalil-research / ARGA-AAAI23
  Abstract Reasoning with Graph Abstractions (ARGA) implementation
  ☆61Updated last year
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆102Updated 10 months ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated last month
• kenjyoung / mctx_learning_demo
  ☆52Updated 2 years ago
• you68681 / GPAR
  ☆23Updated last year
• clvrai / leaps
  Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021
  ☆39Updated last week
• luchris429 / JaxLife
  An Open-Ended Agentic Simulator
  ☆52Updated last year
• ilaspltd / ILASP-releases
  ☆37Updated 10 months ago
• luchris429 / discovered-policy-optimisation
  Code for Discovered Policy Optimisation (NeurIPS 2022)
  ☆12Updated 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
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆70Updated last year
• jbkjr / train-procgen-pytorch
  Pytorch implementation on OpenAI's Procgen ppo-baseline, built from scratch.
  ☆14Updated last year
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆282Updated 5 months ago
• ml-jku / helm
  ☆55Updated 10 months ago
• ssokota / mec
  Code for minimum-entropy coupling.
  ☆32Updated last year
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆237Updated last month
• PufferAI / pokegym
  Gymnasium environment for Pokemon Red
  ☆40Updated last year
• ellisk42 / LambdaBeam
  ☆13Updated last year
• maciej-sypetkowski / autoascend
  The first place solution for the NeurIPS 2021 Nethack Challenge -- https://www.aicrowd.com/challenges/neurips-2021-the-nethack-challenge
  ☆59Updated 2 years ago
• NTT123 / a0-jax
  AlphaZero in JAX
  ☆78Updated last year
• andyljones / boardlaw
  Scaling scaling laws with board games.
  ☆53Updated 2 years ago