Pinned Loading

1. ntptutorial ntptutorial Public

   Tutorial on neural theorem proving

   Jupyter Notebook 168 16

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

   Neural theorem proving tutorial, version II

   Jupyter Notebook 34 5

3. cmu-l3/llmlean cmu-l3/llmlean Public

   LLMs + Lean, on your laptop or in the cloud

   Lean 140 20

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

   NeurIPS 2024 tutorial on LLM Inference

   Jupyter Notebook 41 2

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

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

   Jupyter Notebook 37 9

6. transformers4math-simons transformers4math-simons Public

   Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025

   Jupyter Notebook 27 3