Trinh et al. 发布 IMO-AG-30 数据集, 应用在 数学竞赛、自动化定理证明 领域

Trinh et al. 本次发布的数据集 IMO-AG-30, 该数据集是一个包含30个经典几何问题的基准集，这些问题源自自2000年以来国际数学奥林匹克（IMO）竞赛。该数据集被适配于专门用于交互式图形证明助手的 环境。此外，该数据集专门为评估自动化推理方法的性能而设计，解决的问题数量能够反映出IMO参赛选手的技能水平。该数据集的规模为30个问题，任务是对几何问题进行自动定理证明。

查看IMO-AG-30

README 内容： 

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。