4 papers
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Santiago Gonzalez, Alireza Amiri Bavandpour, Peter Ye +48
As Large Language Models (LLMs) saturate elementary benchmarks, the research frontier has shifted from generation to the reliability of automated evaluation. We demonstrate that st…
Quasimodular forms that detect primes are Eisenstein
Jan-Willem van Ittersum, Lukas Mauth, Ken Ono +1
MacMahon's partition functions and their extensions provide equations that identify prime numbers as solutions. These results depend on the theory of (mixed weight) quasimodular fo…
On the parity of coefficients of eta powers
Steven Charlton, Lukas Mauth, Anna Medvedovsky
We consider a special subsequence of the Fourier coefficients of powers of the Dedekind -function, analogous to the sequence on which exceptional…
On Pointwise convergence of the non-linear Fourier transform
Lukas Mauth
A. Poltotaski proved an analog of Carleson's Theorem on almost everywhere convergence of Fourier series for a version of the non-linear Fourier transform. We aim to present his pro…