works on
analytic geometry 1dataset creation 1diagram rendering 1formal language representation 1multimodal problem generation 1neural-symbolic systems 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.AI2026

FormalAnalyticGeo: A Neural-Symbolic Based Framework for Multimodal Analytic Geometry Problem Generation

Ruoran Xu, Wending Gao, Qiufeng Wang +1

The paper presents FormalAnalyticGeo, a neural‑symbolic framework that automatically generates multimodal analytic geometry problems by converting free‑form text into a formal desc…