formalgeo7k

该数据集为Formalgeo7K，其中每个样本都包含双语描述、一张图表、用于捕捉拓扑关系的consCDL、用于其他几何约束的imgCDL，以及将形式化符号解formalSSS翻译成自然语言的描述。此外，针对几何问题，我们还采用了特定任务的数据增强策略。任务内容涉及几何问题的生成和图表重建。

This dataset is named Formalgeo7K. Each sample therein includes bilingual descriptions, a chart, consCDL for capturing topological relationships, imgCDL for other geometric constraints, as well as descriptions that translate the formal symbol set formalSSS into natural language. Additionally, we adopted a task-specific data augmentation strategy for geometric problems. The tasks involve geometric problem generation and chart reconstruction.

搜集汇总

背景与挑战

背景概述

formalgeo7k是一个基于严格几何形式化理论构建的几何问题数据集，用于评估几何图解解析和问题求解等任务的性能。该数据集作为FormalGeo框架的一部分，旨在推动机器在几何推理方面的能力。