This is your work, valued

cmu-l3

Advanced
@cmu-l3

Machine Learning, Language, and Logic (L3) Lab at CMU

cmu-l3.github.io/

gym-anything. Gym-Anything: Turn any Software into an Agent Environment

265

l1. L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning

263

llmlean. LLMs + Lean, on your laptop or in the cloud

213

anlp-spring2026-code. CMU 11-711 Advanced NLP https://cmu-l3.github.io/anlp-spring2026/

119

anlp-spring2025-code. Advanced NLP, Spring 2025 https://cmu-l3.github.io/anlp-spring2025/

75

anlp-fall2025-code. Advanced NLP, Fall 2025 https://cmu-l3.github.io/anlp-fall2025/

66

neurips2024-inference-tutorial-code. NeurIPS 2024 tutorial on LLM Inference

50

ntptutorial-II. Neural theorem proving tutorial, version II

39

ntp-toolkit. Neural theorem proving toolkit: data extraction tools for Lean 4

36

alphaverus. AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement

33

minictx-eval. Neural theorem proving evaluation via the Lean REPL

24

anlp-fall2025-hw1. Python

9

anlp-fall2025-hw2.

3

anlp-spring2025-hw1. Python

3

minicodeprops-eval. Evaluation for miniCodeProps: a Minimal Benchmark for Proving Code Properties

1