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
  ☆66Updated 8 months ago
• ssokota / mec
  Code for minimum-entropy coupling.
  ☆31Updated 10 months ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated last week
• Dahoas / QDSyntheticData
  ☆13Updated 8 months ago
• flxsosa / ProgramSearch
  A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…
  ☆38Updated 4 years ago
• DramaCow / jaxued
  ☆76Updated last month
• 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
• you68681 / GPAR
  ☆23Updated last year
• google-research / crossbeam
  ☆43Updated 2 years ago
• lio-wong / dreamcoder
  ☆64Updated 3 years ago
• sethkarten / pokechamp
  Official repository of the paper, PokeChamp: an Expert-level Minimax Language Agent for Competitive Pokemon.
  ☆52Updated last month
• samblouir / birdie
  ☆12Updated 2 months ago
• andyljones / boardlaw
  Scaling scaling laws with board games.
  ☆48Updated last year
• clvrai / leaps
  Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021
  ☆37Updated 2 years ago
• kenjyoung / mctx_learning_demo
  ☆51Updated 2 years ago
• ucl-dark / pax
  Scalable Opponent Shaping Experiments in JAX
  ☆24Updated last year
• khalil-research / 1D-ARC
  ☆25Updated last year
• google-deepmind / questbench
  ☆15Updated 3 weeks ago
• upiterbarg / lintseq
  [ICLR 2025] "Training LMs on Synthetic Edit Sequences Improves Code Synthesis" (Piterbarg, Pinto, Fergus)
  ☆19Updated 2 months ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆81Updated last month
• levilelis / h-levin
  Levin tree search guided by both a policy and a heuristic function
  ☆18Updated last year
• princeton-nlp / XTX
  [ICLR 2022 Spotlight] Multi-Stage Episodic Control for Strategic Exploration in Text Games
  ☆14Updated 3 years ago
• heiner / nle
  The NetHack Learning Environment
  ☆68Updated 2 weeks ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆36Updated last year
• genlm / llamppl
  Probabilistic programming with large language models
  ☆112Updated last week
• eilab-gt / NovGrid
  Novelty MiniGrid--NovGrid--is an extension of MiniGrid environment that allows for the world properties and dynamics to change according …
  ☆35Updated 11 months ago
• iglu-contest / gridworld
  A reinforcement learning environment for the IGLU 2022 at NeurIPS
  ☆33Updated last year
• vzhong / silg
  ☆20Updated 3 years ago
• google-deepmind / diplomacy
  ☆53Updated last year
• aypan17 / machiavelli
  ☆133Updated 5 months ago