10:59
官方账号arXiv cs.AI@Ruoran Xu, Wending Gao, Qiufeng Wang
推荐理由：想要自动生成带精确几何图形的数学题？FormalAnalyticGeo 用 CDL 形式语言和 SDF 渲染，造出了 7000+ 带标注的解析几何题目，误差不到 1%。
FormalAnalyticGeo
共 1 条相关 AI 资讯
7月15日
10:59
FormalAnalyticGeo 是一个可扩展的框架，利用 CDL（条件描述语言）作为形式中间表示，通过 SDF（符号距离场）引擎连接问题文本与精确图形渲染。框架包含四个 LLM 组件：Generator、Formalizer、Measurer 和 Quality Verifier，实现全自动闭环生成，无需人工标注。基于该框架构建的 AnalyticGeo7K 数据集包含超过 7,000 个经过验证的多模态问题，其中位相对误差为 0.70%，82.3% 的答案与精确符号解偏差在 5% 以内。论文表明该方法在解析几何问题生成上优于现有模板和生成模型。