Pinned Loading

1. cmu-l3/llmlean cmu-l3/llmlean Public

   LLMs + Lean, on your laptop or in the cloud

   Lean 138 19

2. EleutherAI/math-lm EleutherAI/math-lm Public

   Python 1.1k 86

3. ntptutorial ntptutorial Public

   Tutorial on neural theorem proving

   Jupyter Notebook 166 15

4. cmu-l3/ntptutorial-II cmu-l3/ntptutorial-II Public

   Neural theorem proving tutorial, version II

   Jupyter Notebook 34 5

5. cmu-l3/neurips2024-inference-tutorial-code cmu-l3/neurips2024-inference-tutorial-code Public

   NeurIPS 2024 tutorial on LLM Inference

   Jupyter Notebook 39 2

6. cmu-l3/anlp-spring2025-code cmu-l3/anlp-spring2025-code Public

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

   Jupyter Notebook 22 4