RefactorProof generated 458 verified code variants

458 Lean-certified proofs derived from 185 VERINA tasks lose validity after structural refactoring. Specialized provers show higher proof survival rates than reference artifacts.

Read the original →