发布 formalgeo7k 数据集, 应用在 几何问题解决、图表重建 领域

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

查看formalgeo7k

关于 , 国庆学校是一所位于中国的教育机构，专注于提供基础教育服务。学校致力于培养学生的综合素质，注重学术与品德的全面发展。

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