DailyInfo Summary
该工作提出 LeanPRM，利用 Lean 形式化环境为自然语言证明提供过程监督，从而提升逐步证明验证与纠错能力。
Original Source
摘要用于研究导航；结论、版本与引用信息请以原始来源为准。
技术信息
Stable ID: arxiv-2610.17697
Canonical URL: https://iheadwater.github.io/dailyinfo-web/arxiv/arxiv-2610.17697/
arXiv
LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification
Original Evidence
- Source
- arxiv_cs_ai（外部链接）
- Published
- Technical ID
2610.17697