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