STORY · 事件进行中

面壁智能 OpenBMB 发布 MathForm

1 个精选信源 · 1 篇报道持续 1 天最新动态 1小时前
最新进展

面壁智能 OpenBMB 推出 MathForm，面向 Lean 4 数学自动形式化的开源框架、数据集与模型

TIMELINE

报道时间线

1 条公开报道 · 官方一手 1 条 · 最新在前
  1. 面壁智能 OpenBMB 推出 MathForm，面向 Lean 4 数学自动形式化的开源框架、数据集与模型
    X：面壁智能 OpenBMB (@OpenBMB)官方一手精选

    面壁智能 OpenBMB 推出 MathForm，一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。其 FormalVerse 数据集含 367K+ 已验证示例；在匹配 100K 预算下，基于其训练的模型 Consistency Check 达 60.32%，优于 FineLeanCorpus（46.53%）与 NuminaMath-LEAN（41.49%）。