2 papers
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.AG2024
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…