news
| Jul 13, 2026 | I attended the Thematic Program on AI and Mathematics at the Korea Institute for Advanced Study (KIAS). |
|---|---|
| Jul 06, 2026 | With Rémy Degenne, I presented a tutorial on Proving Theorems with Lean and Machine Learning at ICML 2026 in Seoul. |