cmu-l3

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

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

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

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

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

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

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

ntptutorial-II. Neural theorem proving tutorial, version II

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

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

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

anlp-fall2025-hw1. Python

anlp-fall2025-hw2.

anlp-spring2025-hw1. Python

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