发布 PGPS9K 数据集, 应用在 几何推理、机器学习 领域

本次发布的数据集 PGPS9K, 该数据集名为PGPS9K，是一个大规模的GPS数据集，包含了9,022个几何问题与4,000个独特的几何图形相对应。该数据集的特点是精细的图形标注和可解释的解决方案程序。此外，该数据集突出了基于定理、依赖图形、抽象性、细粒度以及条件冗余性等特性，这些都有助于解决几何推理的挑战。其规模涵盖了9,022个问题和4,000个图形，任务重点在于几何问题解决（Gps）。

查看PGPS9K

README 内容： 

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