arxivcs.AIcs.LGcs.LO2026-07-18
PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs
Mathematicians distinguish proofs that explain, simplify, or introduce a nonstandard route, but these judgments are difficult to operationalize. We study a deliberately narrower construct: time-relative proof-route nonstandardness in formal mathematics. For a Lean theorem, PriorP…