Search papers, labs, and topics across Lattice.
This paper introduces FormalAnalyticGeo, a novel framework that automates the generation of multimodal analytic geometry problems by integrating formal languages with neural-symbolic methods. By employing a sequence of specialized LLM components, the framework generates diverse problems, converts them into a formal representation for precise diagram rendering, and verifies the outputs through a closed feedback loop, eliminating the need for human annotation. The resulting dataset, AnalyticGeo7K, contains over 7,000 verified problems, achieving a median ground-truth relative error of just 0.70%, demonstrating significant accuracy in problem generation.
Achieving a median ground-truth relative error of only 0.70%, FormalAnalyticGeo revolutionizes the generation of multimodal analytic geometry problems without human intervention.
Math reasoning has achieved significant progress with the rapid advancement of Multimodal Large Language Models (MLLMs), however analytic geometry remains largely underexplored, primarily due to the scarcity of annotated samples. Existing diagram generation approaches struggle with analytic geometry: template methods cannot handle constraint-driven layouts, and generative models lack the geometric precision to render annotated conic curves correctly. We present FormalAnalyticGeo, a scalable framework for fully automatic generation of multimodal analytic geometry problems. Leveraging the rigor of formal languages, we design the framework around CDL (Condition Description Language), a formal intermediate representation that bridges free-form problem text with precise diagram rendering via a Signed Distance Field (SDF) engine. The framework employs four specialized LLM components in sequence: a Generator that produces diverse analytic geometry problems, a Formalizer that converts each problem into CDL for SDF-based rendering, a Measurer that extracts ground-truth answers through vision-based measurement on the rendered diagrams, and a Quality Verifier that checks outputs at three stages. Structured feedback from the Quality Verifier drives automatic retry, forming a closed loop that eliminates any need for human annotation. Applying FormalAnalyticGeo at scale yields AnalyticGeo7K, a dataset of over 7K verified multimodal problems, each with aligned text, diagram, formal annotation, and ground truth.Experiments show that the generated problems achieve a median ground-truth relative error of 0.70\%, with 82.3\% of answers falling within 5\% of the exact symbolic solution. Our framework and dataset will be publicly released.
