DailyInfo Summary
提出形式化精化与引导引擎 VERGE，用于让大语言模型的推理过程更可验证、可改进并提升可靠性。
Original Source
摘要用于研究导航；结论、版本与引用信息请以原始来源为准。
技术信息
Stable ID: arxiv-2601.20055
Canonical URL: https://iheadwater.github.io/dailyinfo-web/arxiv/arxiv-2601.20055/
arXiv
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
Original Evidence
- Source
- arxiv_cs_ai（外部链接）
- Published
- Technical ID
2601.20055