Aitor Iribar Lopez

activity

20242026

collaborators

Showing 2025Show all

2 papers · 1 filter

cs.CL2025

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

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…

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation

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

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