Goedel-LM/MathOlympiadBench
收藏Hugging Face2025-08-06 更新2025-08-09 收录
下载链接：
https://hf-mirror.com/datasets/Goedel-LM/MathOlympiadBench
下载链接
链接失效反馈官方服务：
资源简介：
MathOlympiadBench数据集包含来自数学奥林匹克竞赛的问题，经过人工验证的形式化处理。该数据集包括360个问题，涵盖了1959年至2024年的158个IMO问题、2006年至2023年的131个IMO短列表问题、68个全国数学奥林匹克问题以及3个额外的数学谜题。这些问题都经过人工处理，以确保形式化陈述的准确性和与常用Mathlib的兼容性。
The MathOlympiadBench dataset contains formalized mathematical olympiad problems that have been verified by humans. It includes 360 problems, covering 158 IMO problems from 1959 to 2024, 131 IMO shortlist problems from 2006 to 2023, 68 national mathematical olympiad problems, and 3 additional mathematical puzzles. These problems have been processed manually to ensure the accuracy of formal statements and compatibility with commonly used Mathlib.
提供机构：
Goedel-LM
