IMO-AG-30
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/google-deepmind/alphageometry
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是一个包含30个经典几何问题的基准集，这些问题源自自2000年以来国际数学奥林匹克（IMO）竞赛。该数据集被适配于专门用于交互式图形证明助手的 环境。此外，该数据集专门为评估自动化推理方法的性能而设计，解决的问题数量能够反映出IMO参赛选手的技能水平。该数据集的规模为30个问题，任务是对几何问题进行自动定理证明。
提供机构：
Trinh et al.
