Aitor Iribar Lopez

collaborators

5 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 $A_{g}$

Samir Canning, Lycka Drakengren, Jeremy Feusi +7

The tautological $Q$ -subalgebra $R^{*} (A_{g}) \subset CH^{*} (A_{g})$ of the Chow ring of the moduli space of principally polarized abelian va…

math.AG2025

The integral Chow ring of $R_{2}$

Alessio Cela, Aitor Iribar Lopez

In this paper we compute the integral Chow ring of the moduli stack $R_{2}$ of Prym pairs of genus 2 with integral coefficients.

math.AG2025

Gromov-Witten theory of $Hilb^{n} (C^{2})$ and Noether-Lefschetz theory of $A_{g}$

Aitor Iribar Lopez, Rahul Pandharipande, Hsian-Hua Tseng

We calculate the genus 1 Gromov-Witten theory of the Hilbert scheme $Hilb^{n} (C^{2})$ of points in the plane. The fundamental 1-point invariant (with a divisor insert…

math.AG2024

The Euler characteristic of $A_{g}$ via Hodge integrals

Aitor Iribar Lopez

We prove the Harder-Siegel formula for the Euler characteristic of $A_{g}$ via the intersection theory of $M_{g}$ and a vanishing result for lambda class…

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation

Torelli loci, product cycles, and the homomorphism conjecture for Ag​

The integral Chow ring of R2​

Gromov-Witten theory of Hilbn(C2) and Noether-Lefschetz theory of Ag​

The Euler characteristic of Ag​ via Hodge integrals

Torelli loci, product cycles, and the homomorphism conjecture for $A_{g}$

The integral Chow ring of $R_{2}$

Gromov-Witten theory of $Hilb^{n} (C^{2})$ and Noether-Lefschetz theory of $A_{g}$

The Euler characteristic of $A_{g}$ via Hodge integrals