analytic-geometry

介绍了FormalAnalyticGeo，这是一个基于神经符号的框架，用于自动生成多模态解析几何问题。它利用形式化中间表示（CDL）和LLM组件，生成了包含超过7K个经过验证的问题的AnalyticGeo7K数据集，具有高几何精度。