3 papers
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…
math.AG2025
Hodge theory and derived categories of cubic fourfolds
N. Addington, R. P. Thomas
Cubic fourfolds behave in many ways like K3 surfaces. Certain cubics - conjecturally, the ones that are rational - have specific K3s associated to them geometrically. Hassett has s…
math.AG2025
Counting sheaves on Calabi-Yau 4-folds, I
Jeongseok Oh, Richard P. Thomas
Borisov-Joyce constructed a real virtual cycle on compact moduli spaces of stable sheaves on Calabi-Yau 4-folds, using derived differential geometry. We construct an algebraic virt…