MathForm：用知识检索与验证引导精修扩展数学自动形式化
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
MathForm 是一个通过 Mathlib 知识检索与验证引导迭代精修来构建可验证训练数据的自动形式化框架，并据此构建了约 367K 条 Lean 4 验证样本的 FormalVerse 数据集。
来源：Hugging Face Daily Papers · arxiv.org