Giovanni Inchiostro

Identifiers

• name variant Giovanni Inchiostro 0.60 · backfill

Papers (7)

1. TheoremGraph: Bridging Formal and Informal Mathematics cs.IR · 2026 · author #8
2. Evaluation of LLMs for Mathematical Formalization in Lean cs.AI · 2026 · author #8
3. Moduli of surfaces fibered in (log) Calabi-Yau pairs II: elliptic surfaces math.AG · 2025 · author #1
4. A criterion for smooth weighted blow-downs math.AG · 2023 · author #3
5. Moduli of Weierstrass fibrations with marked section math.AG · 2018 · author #1
6. The Picard group of the moduli of smooth complete intersections of two quadrics math.AG · 2017 · author #2
7. Moduli of weighted stable elliptic surfaces and invariance of log plurigenera math.AG · 2017 · author #3

Mentions

• 2606.25363 #8 · arxiv_oai · confidence 0.70 Giovanni Inchiostro
• 2606.05632 #8 · arxiv_oai · confidence 0.70 Giovanni Inchiostro

Frequent Coauthors

• Jarod Alper 2 shared papers
• Vasily Ilin 2 shared papers
• Andrea Di Lorenzo 1 shared papers
• Ariel Fu 1 shared papers
• Artemii Remizov 1 shared papers
• Bohao Chen 1 shared papers
• Dori Bejleri 1 shared papers
• Drew Bladek 1 shared papers
• Eric Leonen 1 shared papers
• Escher Crawford 1 shared papers
• Evan Wang 1 shared papers
• Junyan Zhao 1 shared papers
• Kaira Nair 1 shared papers
• Kenneth Ascher 1 shared papers
• Luke Alexander 1 shared papers
• Michele Pernice 1 shared papers
• Shamil Asgarli 1 shared papers
• Siddharth Mathur 1 shared papers
• Simon Kurgan 1 shared papers
• Sophie Szeto 1 shared papers