4 papers
Weight decomposition for toroidal abelian fibrations
Younghan Bae, Jeremy Feusi, Aitor Iribar Lopez +1
We study the action of the rational multiplication by map on the Chow groups of degenerations of principally polarized abelian varieties of torus rank at most one, as well as i…
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…
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…
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…