论文10:59
FormalAnalyticGeo：基于神经符号的多模态解析几何问题自动生成框架想要自动生成带精确几何图形的数学题？FormalAnalyticGeo 用 CDL 形式语言和 SDF 渲染，造出了 7000+ 带标注的解析几何题目，误差不到 1%。
#CDL
共 1 条 · 7 天 0 条 · 30 天 0 条
信息流里打上「CDL」标签的资讯、产品与论文，按刊登时间排，新的在上。
7月15日
想要自动生成带精确几何图形的数学题？FormalAnalyticGeo 用 CDL 形式语言和 SDF 渲染，造出了 7000+ 带标注的解析几何题目，误差不到 1%。