LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification By Rodney Lafuente-Mercado, Salman Rahman, Jingyan Shen, James Shiffer, Saadia Gabriel · HF Daily Papers · Oct 13, 2026 HF Daily Papers' note score 5 Categories: Research