LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification Paper • 2610.17697 • Published Oct 13 • 8