LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification
LeanPRM uses Lean to auto-label 152K proof steps, lifting a Qwen3-4B verifier's step accuracy from 48.2 to 74.7.
Stories per day · 30 days
1 stories, newest first · one card per story
Stories tagged #prm