MiniF2F
收藏OpenCSG2024-03-21 更新2026-01-19 收录
下载链接：
https://opencsg.com/datasets/OpenDataLab/MiniF2F?tab=summary
下载链接
链接失效反馈官方服务：
资源简介：
MiniF2F是正式的奥林匹克级数学问题陈述的数据集，旨在为神经定理证明提供统一的跨系统基准。miniF2F基准目前针对Metamath，Lean和Isabelle，由来自AIME，AMC和国际数学奥林匹克 (IMO) 的488问题陈述以及高中和本科数学课程的材料组成。
提供机构：
OpenDataLab
创建时间：
2024-03-21
