41 citations · 80 across the 8 of their papers we have counts for
8 papers
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…
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…
Stable maps to Looijenga pairs built from the plane
Michel van Garrel
Choosing a normal crossings anticanonical divisor of leads to four log Calabi-Yau surfaces, three of which are Looijenga pairs. In this survey article, I describe ho…
Stable maps to Looijenga pairs
Pierrick Bousseau, Andrea Brini, Michel van Garrel
A log Calabi-Yau surface with maximal boundary, or Looijenga pair, is a pair with a smooth rational projective complex surface and an ant…
Prelog Chow rings and degenerations
Christian Böhning, Hans-Christian Graf von Bothmer, Michel van Garrel
For a simple normal crossing variety , we introduce the concepts of prelog Chow ring, saturated prelog Chow group, as well as their counterparts for numerical equivalence. Think…
Sheaves of maximal intersection and multiplicities of stable log maps
Jinwon Choi, Michel van Garrel, Sheldon Katz +1
A great number of theoretical results are known about log Gromov-Witten invariants, but few calculations are worked out. In this paper we restrict to surfaces and to genus 0 stable…
On the log-local principle for the toric boundary
Pierrick Bousseau, Andrea Brini, Michel van Garrel
Let be a smooth projective complex variety and let be a reduced normal crossing divisor on with each component smooth, irreducible, and nef. The lo…
Local Gromov-Witten Invariants are Log Invariants
Michel van Garrel, Tom Graber, Helge Ruddat
We prove a simple equivalence between the virtual count of rational curves in the total space of an anti-nef line bundle and the virtual count of rational curves maximally tangent…