Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Formalizing Numerical Analysis: An Agent Pipeline and Quality Audit Beyond Kernel Acceptance
Theodore Meek, Siyuan Ge, Di Qiu Xiang +2
Recent work has demonstrated that coding agents can formalize entire advanced mathematics textbooks in Lean 4, yet existing efforts concentrate on branches of mathematics already w…
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…