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.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…
math.AG2026
Birational Classification of Orbifold Compactified Jacobians
Jeremy Feusi, Sam Molcho
We study the equivariant orbifold birational classification problem for families of toroidal compactifications of a group over a toroidal base, in the cases where is an alg…