AI圈报
模型发布 / 更新精选

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

信息来源:X:面壁智能 OpenBMB (@OpenBMB)·
原始标题:🧮 Introducing MathForm, an open-source framework, dataset, and model for mathematical autoformaliza…

内容摘要

面壁智能 OpenBMB 推出 MathForm,一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。其 FormalVerse 数据集含 367K+ 已验证示例;在匹配 100K 预算下,基于其训练的模型 Consistency Check 达 60.32%,优于 FineLeanCorpus(46.53%)与 NuminaMath-LEAN(41.49%)。
内容层级精选情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源X:面壁智能 OpenBMB (@OpenBMB)
站内情报编号intel-40f408a07c93396eba97f6ba