面壁智能 OpenBMB 推出 MathForm，面向 Lean 4 数学自动形式化的开源框架、数据集与模型
面壁智能 OpenBMB 推出 MathForm，一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。其 FormalVerse 数据集含 367K+ 已验证示例；在匹配 100K 预算下，基于其训练的模型 Consistency Check 达 60.32%，优于 FineLeanCorpus（46.53%）与 NuminaMath-LEAN（41.49%）。
数据与训练 大事记
重要进展 IMPORTANT_PROGRESS
2026-06-01 — 2026-06-01
重要进展 · 第 4 / 6 页
OpenBMB发布UltraData两大开源数据集，登顶HuggingFace趋势榜
AIHOT事件 ↗原始外链未提供
数据与训练 精选历史资讯
— · 1 条
精选资讯 · 第 1 / 1 页
分类
排序
暂无内容