Tag
Presents FormalAnalyticGeo, a neural-symbolic framework for automatic generation of multimodal analytic geometry problems using a formal intermediate representation (CDL) and LLM components, yielding the AnalyticGeo7K dataset of over 7K verified problems with high geometric precision.