Pinned Loading

1. l1 l1 Public

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

   Jupyter Notebook 258 30

2. llmlean llmlean Public

   LLMs + Lean, on your laptop or in the cloud

   Lean 179 27

3. alphaverus alphaverus Public

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

   Python 19 1

4. neurips2024-inference-tutorial-code neurips2024-inference-tutorial-code Public

   NeurIPS 2024 tutorial on LLM Inference

   Jupyter Notebook 47 4

5. ntp-toolkit ntp-toolkit Public

   Neural theorem proving toolkit: data extraction tools for Lean 4

   Lean 31 4

6. anlp-fall2025-code anlp-fall2025-code Public

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

   Jupyter Notebook 16 2