rl-language / rlcLinks
Bringing reinforcement learning to every day programmers
☆62Updated last month
Alternatives and similar repositories for rlc
Users that are interested in rlc are comparing it to the libraries listed below
Sorting:
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- A scalable abstraction learning library☆84Updated 4 months ago
- Language-annotated Abstraction and Reasoning Corpus☆99Updated 2 years ago
- The NetHack Learning Environment☆103Updated last month
- Neural theorem proving tutorial, version II☆40Updated last year
- A programming language for formal/informal computation.☆43Updated last month
- ☆44Updated 2 years ago
- An inductive logic programming system☆261Updated 4 months ago
- Probabilistic programming with large language models☆158Updated 2 months ago
- LLM verified with Monte Carlo Tree Search☆284Updated 10 months ago
- ☆39Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆30Updated last year
- Materials for ConceptARC paper☆112Updated last year
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆24Updated this week
- Learning Formal Mathematics from Intrinsic Motivation☆36Updated 6 months ago
- The first place solution for the NeurIPS 2021 Nethack Challenge -- https://www.aicrowd.com/challenges/neurips-2021-the-nethack-challenge☆60Updated 3 years ago
- ☆23Updated last year
- Learning Universal Predictors☆81Updated last year
- ☆53Updated 2 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Powerlifted Planner☆32Updated 2 months ago
- Tarski - An AI Planning Modeling Framework☆72Updated last month
- A reinforcement learning environment for the IGLU 2022 at NeurIPS☆35Updated 2 years ago
- Scaling scaling laws with board games.☆53Updated 2 years ago
- An Open-Ended Agentic Simulator☆58Updated last year
- Learn online intrinsic rewards from LLM feedback☆45Updated last year
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated last year
- ☆31Updated 3 years ago
- 8-bit computational substrates☆47Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆141Updated 9 months ago