Hugging Face Daily Papers·· 6 天前精选AI 评分45
Beyond Compilation：研究自然语言到 Lean 陈述形式化的忠实度评估
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
AI 导读
研究评估 Lean 编译通过是否等于自然语言陈述被忠实形式化，在 227 条大学水平陈述上测试八个系统，编译率与语义接受率相差 1.3 到 29.5 个百分点。
推荐理由
论文用人工标注量化了 Lean 编译通过率与语义忠实度之间的差距，并指出部分差距来自评审模型自身误判。
来源：Hugging Face Daily Papers · huggingface.co