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.AG2025
Intrinsic enumerative mirror symmetry: Takahashi's log mirror symmetry for revisited
Michel van Garrel, Helge Ruddat, Bernd Siebert
Let be a smooth cubic in the projective plane . Nobuyoshi Takahashi formulated a conjecture that expresses counts of rational curves of varying degree in $\mathbb…
math.AG2025
Gromov-Witten theory of bicyclic pairs
Michel van Garrel, Navid Nabijou, Yannik Schuler
A bicyclic pair is a smooth surface equipped with a pair of smooth divisors intersecting in two reduced points. Resolutions of self-nodal curves constitute an important special cas…