AI-MO/minif2f_test
收藏Hugging Face2025-07-04 更新2025-05-31 收录
下载链接：
https://hf-mirror.com/datasets/AI-MO/minif2f_test
下载链接
链接失效反馈官方服务：
资源简介：
MiniF2F是一个数学奥林匹克级别的问题测试集，用于评估形式化证明器Kimina-Prover的性能。它包括问题的名称、非正式描述和正式的数学陈述，并分为训练集。数据集的目的是为了适应Lean 4而对原始数据集进行修改，并修正了一些错误的正式陈述。
MiniF2F is a benchmark test set of mathematical olympiad-level problems for evaluating the performance of the formal prover Kimina-Prover. It includes problem names, informal descriptions, and formal mathematical statements, and is divided into a training set. The dataset aims to modify the original dataset to adapt to Lean 4 and correct some erroneous formal statements.
提供机构：
AI-MO
