
Professor of Mathematics
Research Interests: Analysis, combinatorics
Publications
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)
Generalizations of the Ruzsa–Szemerédi and rainbow Turán problems for cliques
– Combinatorics Probability Computing
(2021)
30,
591
(doi: 10.1017/s0963548320000589)
A Graphical User Interface Framework for Formal Verification.
– Leibniz International Proceedings in Informatics, LIPIcs
(2021)
193,
4:1
(doi: 10.4230/LIPIcs.ITP.2021.4)
A note on extensions of multilinear maps defined on multilinear varieties
– Proceedings of the Edinburgh Mathematical Society
(2021)
64,
148
(doi: 10.1017/s0013091521000055)
The length of an s -increasing sequence of r -tuples
– Combinatorics, Probability and Computing
(2021)
30,
686
(doi: 10.1017/s0963548320000371)
- 1 of 10