MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement

• 类型：arxiv
• 标识：2608.14221
• 链接：https://arxiv.org/abs/2608.14221
• 主分类：rag
• 形态：position
• 被引：0
• 被引来源：Semantic Scholar
• S2被引：0
• 影响力被引：0
• TLDR：MathForm is introduced, an autoformalization framework for constructing verified training data through Mathlib knowledge retrieval and verification-guided iterative refinement, and outperforming multiple specialized 32B autoformalizers.
• 待LLM分类：否
• 标题中文：MathForm：基于知识检索与验证引导优化的数学自动形式化扩展
• TLDR中文：本文提出 MathForm，一个通过 Mathlib 知识检索与验证引导的迭代优化来构建已验证训练数据的自动形式化框架，性能优于多个专用的 32B 自动形式化模型。
• 来源文件：
• /inbox/tom/_candidates/2026-08-19-agent-rag-longcontext-candidates.json
• [S2 enrich]