实体
FormalAnalyticGeo
FormalAnalyticGeo
PulseAugur coverage of FormalAnalyticGeo — every cluster mentioning FormalAnalyticGeo across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新框架采用神经符号方法自动生成解析几何问题
研究人员开发了FormalAnalyticGeo，一个旨在自动生成多模态解析几何问题的新型框架。该系统采用神经符号方法，使用一种称为CDL的形式语言和符号距离场引擎来确保几何图形渲染的精度。该框架包含问题生成、形式化、测量和质量验证等组件，形成了一个闭环，无需人工标注。该过程产生了AnalyticGeo7K数据集，其中包含超过7000个经过验证的多模态问题，并配有文本、图示和形式化标注，实现了0.70%的中位数真实相对误差。
-
新框架利用AI自动生成解析几何问题 · 跟踪2个来源
研究人员开发了FormalAnalyticGeo，一个旨在自动生成多模态解析几何问题的新型框架。该系统采用神经符号方法，使用一种称为CDL的形式语言和Signed Distance Field (SDF)引擎进行精确的图形渲染。该框架包括问题生成、形式化、答案测量和质量验证等组件，形成了一个闭环，无需手动标注。这一过程产生了AnalyticGeo7K，一个包含7000多个已验证问题及其对应的文本、图形和形式化标注的数据集，在生成解决方…