Pinned Loading

1. ntptutorial ntptutorial Public

   Tutorial on neural theorem proving

   Jupyter Notebook 179 16

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

   Neural theorem proving tutorial, version II

   Jupyter Notebook 39 5

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

   LLMs + Lean, on your laptop or in the cloud

   Lean 215 33

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

   NeurIPS 2024 tutorial on LLM Inference

   Jupyter Notebook 50 4

5. transformers4math-simons transformers4math-simons Public

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

   Jupyter Notebook 43 4

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

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

   Jupyter Notebook 143 19