Pesquisadores introduzem o FormalAnalyticGeo, um framework escalável para a geração totalmente automática de problemas de geometria analítica multimodal que elimina a necessidade de anotação humana. O sistema utiliza uma representação intermediária formal chamada CDL para conectar o texto do problema à renderização precisa de diagramas por meio de um motor Signed Distance Field.
- Quatro componentes LLM especializados operam em sequência: um Gerador cria problemas diversos, um Formalizador os converte para CDL, um Medidor extrai as respostas corretas via medição baseada em visão, e um Verificador de Qualidade verifica as saídas em três etapas.
- O feedback estruturado do verificador impulsiona retries automáticos, formando um loop fechado que produz o AnalyticGeo7K, um conjunto de dados com mais de 7 mil problemas multimodais verificados com texto, diagramas e anotações alinhados.
- Os problemas gerados alcançam um erro relativo mediano de ground-truth de 0.70%, com 82.3% das respostas dentro de 5% da solução simbólica exata.
O framework aborda a escassez de amostras anotadas em geometria analítica, fornecendo um método rigoroso e automatizado para criar conjuntos de dados multimodais de alta qualidade.