11 papers
Projective moduli of log Calabi--Yau fibrations over curves
Giovanni Inchiostro, Junyan Zhao
We introduce a new stability condition for log Calabi--Yau fibrations over curves. We prove that it gives rise to a proper Deligne--Mumford stack with a projective coarse moduli sp…
TheoremGraph: Bridging Formal and Informal Mathematics
Simon Kurgan, Evan Wang, Eric Leonen +6
Mathematical knowledge is organized around statements and their dependencies, but this structure is exposed unevenly: informal papers cite mostly at the document level, while forma…
Evaluation of LLMs for Mathematical Formalization in Lean
Tyson Klingner, Drew Bladek, Escher Crawford +6
Within the past few years, the ability of Large Language Models (LLMs) to generate formal mathematical proofs has improved drastically. We provide a comparison of various LLMs' eff…
Moduli of surfaces fibered in (log) Calabi-Yau pairs II: elliptic surfaces
Giovanni Inchiostro, Junyan Zhao
This paper continues the study initiated in [ISZ25] on the moduli of surfaces admitting lc-trivial fibrations. Using the techniques developed in [ISZ25], we (1) provide a classific…
A criterion for smooth weighted blow-downs
Veronica Arena, Andrea Di Lorenzo, Giovanni Inchiostro +3
We establish a criterion for determining when a smooth Deligne-Mumford stack is a weighted blow-up. More precisely, given a smooth Deligne-Mumford stack and a Cartier…
Semantic Search over 9 Million Mathematical Theorems
Luke Alexander, Eric Leonen, Sophie Szeto +5
Searching for mathematical results remains difficult: most existing tools retrieve entire papers, while mathematicians and theorem-proving agents often seek a specific theorem, lem…