TY  - RPRT
TI  - LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification
AU  - Rodney Lafuente-Mercado
AU  - Salman Rahman
AU  - Jingyan Shen
AU  - James Shiffer
AU  - Saadia Gabriel
AU  - Pavel Izmailov
PY  - 2026
UR  - https://arxiv.org/abs/2610.17697
ID  - 2610.17697
ER  -