arXiv cs.LG· Thomas Hirtz, Farzad Jafarrahmani, Abdelmouksit Sagueni, Xiang Zhou, Wenping Deng, Liang Zhang·· 2026-09-30AI 评分44
Sage：基于语义校正的形式化框架
Sage: Formalization with Semantic Correction
AI 导读
研究者提出智能体框架 Sage，通过四阶段生成与双信号语义校正循环，解决自然语言翻译为 Lean 4 的语义失真问题。Sage 将答案泄露率从 70.9% 降至 2.7%，在 Omni-MATH 上取得 73.3% 的 pass@4 联合保真度，远超基线 Goedel-Formalizer-V2 的 42.0%。
来源：arXiv cs.LG · arxiv.org