DailyInfo Summary
提出以忠实度对齐为核心的理论级自动形式化方法，缓解大模型将理论文本转为形式化证明时的语义偏差，并提升大规模形式化可靠性。
Original Source
摘要用于研究导航；结论、版本与引用信息请以原始来源为准。
技术信息
Stable ID: arxiv-2610.18498
Canonical URL: https://iheadwater.github.io/dailyinfo-web/arxiv/arxiv-2610.18498/
arXiv
Aligning Faithfulness for Theory-Scale Autoformalization
Original Evidence
- Source
- arxiv_cs_ai（外部链接）
- Published
- Technical ID
2610.18498