PGPS9K

该数据集名为PGPS9K，是一个大规模的GPS数据集，包含了9,022个几何问题与4,000个独特的几何图形相对应。该数据集的特点是精细的图形标注和可解释的解决方案程序。此外，该数据集突出了基于定理、依赖图形、抽象性、细粒度以及条件冗余性等特性，这些都有助于解决几何推理的挑战。其规模涵盖了9,022个问题和4,000个图形，任务重点在于几何问题解决（Gps）。This dataset, named PGPS9K, is a large-scale GPS dataset that contains 9,022 geometric problems corresponding to 4,000 unique geometric figures. It features fine-grained figure annotations and interpretable solution procedures. Furthermore, this dataset exhibits several notable characteristics including theorem-based reasoning, figure dependence, abstraction, fine granularity, and conditional redundancy, all of which contribute to addressing the challenges of geometric reasoning. Boasting a scale of 9,022 problems and 4,000 figures, this dataset centers on the task of geometric problem solving (GPS).

搜集汇总

背景与挑战

背景概述

PGPS9K是一个大规模几何问题求解数据集，包含细粒度图表标注和可解释的解决方案程序，用于训练和测试多模态神经求解器PGPSNet。数据集可从指定链接下载，需解压至指定文件夹。