2 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.AG2026
Torelli loci, product cycles, and the homomorphism conjecture for
Samir Canning, Lycka Drakengren, Jeremy Feusi +7
The tautological -subalgebra of the Chow ring of the moduli space of principally polarized abelian va…