formalanalyticgeo-f0ccc2f8·1 events·first seen Aliases: FormalAnalyticGeo
Researchers introduce FormalAnalyticGeo, a pipeline using four specialized LLM components and a formal intermediate language (CDL) to automatically generate multimodal analytic geometry problems with diagram rendering via a Signed Distance Field engine. The closed-loop system requires no human annotation and produces AnalyticGeo7K, a dataset of over 7,000 verified problems with aligned text, diagrams, formal annotations, and ground-truth answers. Generated problems achieve a median ground-truth relative error of 0.70%, with 82.3% of answers within 5% of exact symbolic solutions. The work addresses a recognized gap in math reasoning benchmarks where analytic geometry is underrepresented due to data scarcity.