rl-language / rlcLinks
Bringing reinforcement learning to every day programmers
☆58Updated this week
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☆67Updated 9 months ago
- Adaptive Subgoal Search☆19Updated 2 years ago
- Learning Formal Mathematics from Intrinsic Motivation☆30Updated 2 months ago
- ☆12Updated last year
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆37Updated 2 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- ☆43Updated 2 years ago
- A programming language for formal/informal computation.☆41Updated last month
- Neurosymbolic Library☆25Updated 3 weeks ago
- Code for minimum-entropy coupling.☆32Updated 11 months ago
- Python package for Sentential Decision Diagrams (SDD)☆62Updated 3 months ago
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- ☆23Updated last year
- MiniHack the Planet: A Sandbox for Open-Ended Reinforcement Learning Research☆21Updated 3 months ago
- Neural theorem proving tutorial, version II☆36Updated last year
- Code for "Meta Learning Backpropagation And Improving It" @ NeurIPS 2021 https://arxiv.org/abs/2012.14905☆32Updated 3 years ago
- ☆79Updated 2 months ago
- ☆27Updated 3 years ago
- Python wrapper for lean-gym☆11Updated 2 years ago
- A scalable abstraction learning library☆78Updated this week
- VGDL 2.0: A video game description language for AI research☆63Updated 2 years ago
- NeqLIPS: a powerful Olympiad-level inequality prover☆34Updated last month
- We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning☆33Updated 2 weeks ago
- OMNI-EPIC: Open-endedness via Models of human Notions of Interestingness with Environments Programmed in Code (ICLR 2025).☆56Updated 5 months ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Repository for "Toward Artificial Open-Ended Evolution within Lenia using Quality-Diversity" (ALIFE 2024).☆22Updated 2 months ago
- An environment for benchmarking commonsense agents☆29Updated 4 years ago
- Genetic programming using LLMs☆26Updated 3 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated 9 months ago