Geometry3K

该数据集名为Geometry3K，收集了美国6至12年级几何教材中的几何问题，涵盖了30种问题类型。此外，该数据集还包含了详细的图解标注和可解释的解题程序。其规模包括8,433个训练样本和589个测试样本，任务专注于平面几何问题解决。

This dataset, named Geometry3K, collects geometric problems from U.S. grade 6 to 12 geometry textbooks, covering 30 types of problems. Additionally, it includes detailed annotated diagrams and interpretable problem-solving procedures. It has 8,433 training samples and 589 test samples, with the task focusing on plane geometry problem-solving.

搜集汇总

背景与挑战

背景概述

Geometry3K是一个包含3,002个几何问题的大规模数据集，支持形式化语言和符号推理，旨在推动几何问题解决的自动化和可解释性研究。数据集分为训练、验证和测试集，并提供了丰富的文本和图表逻辑形式注释。