2 papers
math.AG2026
Gromov-Witten theory of abelian varieties in families and modular forms
Georg Oberdieck
This is the first paper in a series on the Gromov-Witten theory of the universal abelian variety over the moduli space of principally polarized abelian varieties of dimension .…
cs.CL2026
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck +57
As the mathematical capabilities of large language models (LLMs) improve, it becomes increasingly important to evaluate their performance on research-level tasks at the frontier of…