Ruoran Xu

新框架采用神经符号方法自动生成解析几何问题

研究人员开发了FormalAnalyticGeo，一个旨在自动生成多模态解析几何问题的新型框架。该系统采用神经符号方法，使用一种称为CDL的形式语言和符号距离场引擎来确保几何图形渲染的精度。该框架包含问题生成、形式化、测量和质量验证等组件，形成了一个闭环，无需人工标注。该过程产生了AnalyticGeo7K数据集，其中包含超过7000个经过验证的多模态问题，并配有文本、图示和形式化标注，实现了0.70%的中位数真实相对误差。