FormalAnalyticGeo：基于神经符号的解析几何多模态问题生成框架

2026-07-16 · AI 论文

摘要（译文）：解析几何因标注稀缺而欠探索。FormalAnalyticGeo 用形式语言 CDL（条件描述语言）桥接自由文本与精确图表渲染（符号距离场引擎）。四个专用 LLM 组件依次工作：生成器产出多样问题、形式化器转 CDL、测量器基于渲染图视觉测量提取真值、质量验证器三阶段检查。结构化反馈驱动自动重试，形成无需人工标注的闭环。规模化产出 AnalyticGeo7K（7000+ 验证多模态问题），中位相对误差 0.70%。