Alternatives and similar repositories for rlc

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

• AdaptiveSubgoalSearch / adaptive_subs
  Adaptive Subgoal Search
  ☆19Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆70Updated 10 months ago
• NetHack-LE / nle
  The NetHack Learning Environment
  ☆77Updated 3 weeks ago
• ellisk42 / LambdaBeam
  ☆12Updated last year
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆30Updated 3 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• sethkarten / pokechamp
  Official repository of the paper, PokeChamp: an Expert-level Minimax Language Agent for Competitive Pokemon.
  ☆64Updated 2 months ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆45Updated 8 months ago
• barakeel / oeis-synthesis
  ☆23Updated this week
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆80Updated this week
• you68681 / GPAR
  ☆23Updated last year
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• Quuxplusone / Hanabi
  Framework for writing bots that play Hanabi.
  ☆36Updated 6 years ago
• clvrai / leaps
  Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021
  ☆37Updated 2 years ago
• ngoodger / nle-language-wrapper
  Nethack Learning Environment Wrapper for Language Interface
  ☆38Updated last year
• morph-labs / lean-abc-true-almost-always
  ☆70Updated last week
• DramaCow / jaxued
  ☆82Updated 3 months ago
• facebookresearch / off-belief-learning
  Implementation of the Off Belief Learning algorithm.
  ☆47Updated 2 years ago
• luchris429 / discovered-policy-optimisation
  Code for Discovered Policy Optimisation (NeurIPS 2022)
  ☆11Updated 2 years ago
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 2 years ago
• stephen-chung-mh / thinker
  Thinker project
  ☆14Updated 9 months ago
• luchris429 / JaxLife
  An Open-Ended Agentic Simulator
  ☆50Updated 10 months ago
• IretonLiu / mine-pddl
  ☆21Updated last year
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• louiskirsch / vsml-neurips2021
  Code for "Meta Learning Backpropagation And Improving It" @ NeurIPS 2021 https://arxiv.org/abs/2012.14905
  ☆32Updated 3 years ago
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated last year
• rubenvereecken / py-vgdl
  VGDL 2.0: A video game description language for AI research
  ☆63Updated 2 years ago
• entity-neural-network / entity-gym
  Standard interface for entity based reinforcement learning environments.
  ☆38Updated last year