3 papers
cs.LG2026
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…
math.NT2025
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…
math.NT2024
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 exception…