
Professor of Mathematics
Research Interests: Analysis, combinatorics
Publications
Marton’s conjecture in abelian groups with bounded torsion
– Annales de la Faculté des sciences de Toulouse : Mathématiques
(2026)
35,
1
(doi: 10.5802/afst.1839)
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
(2025)
(doi: 10.48550/arxiv.2412.15184)
Automatically Generalizing Proofs and Statements
– Leibniz International Proceedings in Informatics Lipics
(2025)
352,
12
(doi: 10.4230/LIPIcs.ITP.2025.12)
On a conjecture of Marton
– Annals of Mathematics
(2025)
201,
515
(doi: 10.4007/ANNALS.2025.201.2.5)
Evaluating language models for mathematics through interactions
– Proc Natl Acad Sci U S A
(2024)
abs/2306.01694,
e2318124121
(doi: 10.1073/pnas.2318124121)
- 1 of 11