MathForm 结合检索与验证引导，优化数学自动形式化

openbmb · hf · 2026-08-19

MathForm 方法通过检索 Mathlib 知识并利用验证反馈迭代优化输出，改进了数学自动形式化流程。该工作生成了大规模已验证数据集并训练出高性能的 8B 模型。

原文链接 →

「研究」频道最新

• DeepMind 新研究：辩论训练可减少 RLAIF 的奖励黑客现象 — iScienceLuvr · 2026-08-19
• 快手提出 FLEXRec，紧凑 LLM 分层出口融合推荐框架 — _reachsumit · 2026-08-19
• 快手 OGR 框架实现端到端生成式列表推荐 — _reachsumit · 2026-08-19
• DEPT 方法统一查询扩展与检索，文档嵌入复用提升效果 — _reachsumit · 2026-08-19
• Luma AI 发布 Abra 论文：扩散模型缩放定律需 LLM 十倍数据量 — iScienceLuvr · 2026-08-19
• 具身智能入局实验室：机器人自主执行科研流程 — 量子位 · 2026-08-19

更多「研究」频道 AI 资讯 →