Pinned Loading

1. gym-anything gym-anything Public

   Gym-Anything: Turn any Software into an Agent Environment

   Shell 262 38

2. l1 l1 Public

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

   Jupyter Notebook 263 29

3. llmlean llmlean Public

   LLMs + Lean, on your laptop or in the cloud

   Lean 213 33

4. anlp-spring2026-code anlp-spring2026-code Public

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

   Jupyter Notebook 116 14

5. alphaverus alphaverus Public

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

   Python 33 1

6. neurips2024-inference-tutorial-code neurips2024-inference-tutorial-code Public

   NeurIPS 2024 tutorial on LLM Inference

   Jupyter Notebook 50 4