PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs

Neel Somani

Mathematicians distinguish proofs that explain, simplify, or introduce a nonstandard route, but these judgments are difficult to operationalize. We study a deliberately narrower co…