LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification.

arXiv:2610.17697v2 Announce Type: replace-cross Abstract: AI systems now write long and difficult mathematical proofs, and checking their step-by-step validity is becoming a bottleneck. A learned verifier could check proofs cheaply, but training one requires a