3 papers
cs.AI2026
Sorries Are Not the Hard Part: An Expert-Review Case Study of a Semi-Autonomous Formalization
Vasily Ilin, Brian Nugent
Large language models can often close proof gaps in interactive theorem provers, but a verified theorem is not the same thing as a reusable library contribution. We study this dist…
math.AG2026
Higher Du Bois and Higher Rational Pairs
Haoming Ning, Brian Nugent
We extend the notions of higher Du Bois and higher rational singularities to pairs in the sense of the minimal model program. We extend numerous results to these higher pairs, incl…
math.AG2025
Moduli of Very Ample Line Bundles
Brian Nugent
Let be a projective variety over a field. In this paper, we will construct a moduli space of very ample line bundles on . In doing so, we develop a generalization of Fitting…