Pinned Loading

1. ntptutorial ntptutorial Public

   Tutorial on neural theorem proving

   Jupyter Notebook 177 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 179 27

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

   NeurIPS 2024 tutorial on LLM Inference

   Jupyter Notebook 47 4

5. transformers4math-simons transformers4math-simons Public

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

   Jupyter Notebook 40 4

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

   Advanced NLP, Fall 2025 https://cmu-l3.github.io/anlp-fall2025/

   Jupyter Notebook 16 2