
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.
– Proceedings of the National Academy of Sciences of the United States of America
(2024)
121,
e2318124121
(doi: 10.1073/pnas.2318124121)
- 1 of 11