Professor of Mathematics
Research Interests: Analysis, combinatorics
Publications
Automatically Generalizing Proofs and Statements
– Leibniz International Proceedings in Informatics Lipics
(2025)
352,
(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
(2024)
abs/2306.01694,
e2318124121
(doi: 10.1073/pnas.2318124121)
Evaluating Language Models for Mathematics through Interactions.
(2023)
(doi: 10.48550/arxiv.2306.01694)
Low-complexity approximations for sets defined by generalizations of affine conditions
(2023)
Equidistribution of high-rank polynomials with variables restricted to subsets of $\mathbb{F}_p$
(2022)
- 1 of 10