NuminaMath-LEAN 数学问题数据集

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

NuminaMath-LEAN 是由 Numina 和 Kimi Team 于 2025 年联合发布的一个数学问题数据集，相关论文成果为「Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning」，旨在为自动化定理证明模型的训练与评估提供人工标注的形式化陈述与证明。

该数据集包含 10 万个数学竞赛问题，问题涵盖国际数学奥林匹克（IMO）、美国数学奥林匹克（USAMO）等权威赛事题目，数据类型包括问题陈述、题型分类、答案、来源、形式化证明、标注者信息及强化学习训练过程记录。

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Lean Math 数学问题 Mat UMI