AI for Mathematics
XMUM General Elective — April Semester 2026
Schedule: Tuesday 3:00–6:00pm
Location: A4#G11
Instructor: Ma Jiajun
Course Website: https://math-xmum.github.io/ai4math/
Syllabus
| Week | Topic |
|---|---|
| 1 | From Counting to AI |
| 2 | Dependent Type Theory |
| 3 | LLM Reasoning |
| 4 | Lean Proof Reading |
| 5 | Functional Programming |
| 6 | Prompting Strategies |
| 7 | Proof Generation Pipelines |
| 8 | Metaprogramming |
| 9 | Reinforcement Learning |
| 10 | Pattern Mining |
| 11 | Knowledge Extraction |
| 12 | Conjecture Generation |
| 13-14 | Student Presentations |