3 papers
math.AG2026
Characterizing Contractions and Weighted Blowdowns
Soham Ghosh, Tyson Klingner
This paper gives a partial answer to a question of Dan Abramovich: consider a proper morphism with connected fibers, between smooth separated Deli…
cs.AI2026
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…
math.AG2023
Spectral Data of Special Orthogonal Higgs Bundles and Hecke Modification
Tyson Klingner
We give a complete, self-contained computation of the spectral data parametrising Higgs bundles in the generic fibres of the -Hitchin fibration where the Higgs…