HAGeo-IMO/HAGeo-409
收藏官方服务：
资源简介：
HAGeo-409是一个包含409个IMO级别几何定理证明问题的数据集，难度通常高于广泛使用的IMO-30基准。数据集包含问题ID、自然语言描述、AlphaGeometry和HAGeo表示语言四个字段。
The HAGeo-409 benchmark includes 409 IMO-level geometry theorem-proving problems and typically presents greater difficulty than the widely used IMO-30 benchmark. The dataset contains four fields: Problem_ID, Natural_Language, AlphaGeometry, and HAGeo.
提供机构：
HAGeo-IMO
