Pinned Loading

1. llmlean llmlean Public

   LLMs + Lean, on your laptop or in the cloud

   Lean 137 19

2. l1 l1 Public

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

   Python 99 12

3. alphaverus alphaverus Public

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

   Python 8

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

   NeurIPS 2024 tutorial on LLM Inference

   Jupyter Notebook 39 2

5. ntp-toolkit ntp-toolkit Public

   Neural theorem proving toolkit: data extraction tools for Lean 4

   Lean 22 2

6. ntptutorial-II ntptutorial-II Public

   Neural theorem proving tutorial, version II

   Jupyter Notebook 34 5