DailyInfo Summary
提出 SCOPE，将语言模型作为策略规划器与可验证证书结合，实现可认证的定理证明流程。
Original Source
摘要用于研究导航；结论、版本与引用信息请以原始来源为准。
技术信息
Stable ID: arxiv-2610.08319
Canonical URL: https://iheadwater.github.io/dailyinfo-web/arxiv/arxiv-2610.08319/
arXiv
SCOPE: Certified Theorem Proving with a Language Model as the Policy Planner
Original Evidence
- Source
- arxiv_cs_ai（外部链接）
- Published
- Technical ID
2610.08319