Peneliti memperkenalkan FormalAnalyticGeo, sebuah kerangka kerja yang skalabel untuk generasi otomatis penuh masalah geometri analitik multimoda yang menghilangkan kebutuhan anotasi manusia. Sistem ini memanfaatkan representasi antara formal yang disebut CDL untuk menjembatani teks masalah dengan rendering diagram yang tepat melalui mesin Signed Distance Field.
- Empat komponen LLM khusus beroperasi secara berurutan: Generator membuat masalah yang beragam, Formalizer mengubahnya menjadi CDL, Measurer mengekstrak jawaban ground-truth melalui pengukuran berbasis visi, dan Quality Verifier memeriksa output pada tiga tahap.
- Umpan balik terstruktur dari verifier mendorong percobaan ulang otomatis, membentuk loop tertutup yang menghasilkan AnalyticGeo7K, sebuah dataset berisi lebih dari 7K masalah multimoda terverifikasi dengan teks, diagram, dan anotasi yang selaras.
- Masalah yang dihasilkan mencapai kesalahan relatif ground-truth median sebesar 0,70%, dengan 82,3% jawaban berada dalam 5% dari solusi simbolik eksak.
Kerangka kerja ini mengatasi kelangkaan sampel terannotasi dalam geometri analitik dengan menyediakan metode yang ketat dan otomatis untuk membuat dataset multimoda berkualitas tinggi.