arXiv · Machine Learning· Thomas Hirtz, Farzad Jafarrahmani, Abdelmouksit Sagueni, Xiang Zhou, Wengping Deng, Liang Zhang·· 3 小时前精选AI 评分67
Sage：带语义纠错的形式化框架
Sage: Formalization with Semantic Correction
AI 导读
arXiv 论文提出 Sage（Semantic Agent-Guided Formalization Engine），用四阶段分解生成加双信号语义纠错循环，替代整体翻译。
推荐理由
通过分解生成与双信号语义纠错，Sage 把形式化翻译中的假设丢失和空真问题从 70.9% 压到 2.7%，为数学形式化数据瓶颈提供了可复现的工程路径。
来源：arXiv · Machine Learning · arxiv.org