ShangtongZhang / rl-theory-in-leanView external linksLinks
Towards Formalizing RL Theory
☆45Nov 6, 2025Updated 3 months ago
Alternatives and similar repositories for rl-theory-in-lean
Users that are interested in rl-theory-in-lean are comparing it to the libraries listed below
Sorting:
- Process Orchestration Framework: A camunda 7 fork☆20Updated this week
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆22Jun 14, 2025Updated 8 months ago
- ☆15Jul 27, 2023Updated 2 years ago
- Single-Life Reinforcement Learning☆14Dec 17, 2022Updated 3 years ago
- Sample code for integrating LightWare rangefinders into various platforms.☆10Oct 22, 2025Updated 3 months ago
- Partially Observable Multi-Agent RL with Transformers☆17Updated this week
- Web-App for learning the Neo Layout written in Elm☆11Sep 12, 2025Updated 5 months ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- Open Source Hardware 470KHz Induction Soldering Iron☆14Jul 22, 2025Updated 6 months ago
- About The dataset was recorded on the Husky robotics platform on the university campus and consists of 5 tracks recorded at different tim…☆11Mar 25, 2025Updated 10 months ago
- A template for starting reproducible Python machine-learning projects with hardware acceleration. Find an example at https://github.com/C…☆114Jun 6, 2025Updated 8 months ago
- Code for "The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction an…☆11Apr 30, 2024Updated last year
- Scripts, test vectors, and other things used by or across multiple repositories in the rust-bitcoin ecosystem.☆11Jan 29, 2026Updated 2 weeks ago
- ☆13Mar 27, 2025Updated 10 months ago
- ☆10Jul 9, 2020Updated 5 years ago
- ☆11Oct 25, 2021Updated 4 years ago
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆17Jan 24, 2026Updated 3 weeks ago
- An implementation of DreamerV2 written in JAX, with support for running multiple random seeds of an experiment on a single GPU.☆18Jan 16, 2023Updated 3 years ago
- automagically find peers interested in a topic + optional iroh-gossip integration☆23Feb 1, 2026Updated 2 weeks ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- ☆10Sep 8, 2023Updated 2 years ago
- Build your own AI-powered automation tools in the terminal with this extensible agent framework☆22Jan 5, 2026Updated last month
- Rust driver for the BM13xx Bitcoin Mining Asic family.☆16Oct 17, 2025Updated 4 months ago
- TUI kanban board for orchestrating AI coding agents☆36Jan 28, 2026Updated 2 weeks ago
- Local Immediate Automated Testing☆13Jan 26, 2026Updated 3 weeks ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- JavaScript implementation of Bitcoin BIP39☆11Aug 12, 2025Updated 6 months ago
- Repository for the paper "T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble."☆11Oct 23, 2025Updated 3 months ago
- ☆11Jan 19, 2025Updated last year
- ☆22Oct 30, 2024Updated last year
- ☆12Apr 22, 2023Updated 2 years ago
- An open-source tool for data analysis aimed to help researchers with their experiments.☆14Nov 14, 2023Updated 2 years ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- [COLING25] CodeJudge Eval: Can Large Language Models be Good Judges in Code Understanding?☆12Dec 3, 2024Updated last year
- SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that do…☆33Dec 11, 2025Updated 2 months ago
- A collection of very basic allocators. Written with WebAssembly in mind.☆14Jan 12, 2024Updated 2 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated last year