연구자들은 인간의 주석이 필요 없는 다중 모달 해석 기하학 문제의 완전 자동 생성을 위한 확장 가능한 프레임워크인 FormalAnalyticGeo를 소개했습니다. 이 시스템은 부호 있는 거리장 엔진을 통해 문제 텍스트와 정확한 다이어그램 렌더링을 연결하기 위해 CDL이라는 형식적 중간 표현을 사용합니다.
- 네 가지 전문화된 LLM 구성 요소가 순차적으로 작동합니다: Generator는 다양한 문제를 생성하고, Formalizer는 이를 CDL로 변환하며, Measurer는 비전 기반 측정을 통해 정답을 추출하고, Quality Verifier는 세 단계에서 출력을 검증합니다.
- 검증기로부터의 구조화된 피드백이 자동 재시도를 유도하여, 텍스트, 다이어그램, 주석이 일치하는 7,000개 이상의 검증된 다중 모달 문제로 구성된 AnalyticGeo7K 데이터셋을 생성하는 폐쇄 루프를 형성합니다.
- 생성된 문제는 중앙값 정답 상대 오차 0.70%를 달성했으며, 답변의 82.3%가 정확한 기호적 해법으로부터 5% 이내에 포함됩니다.
이 프레임워크는 고품질 다중 모달 데이터셋을 생성하기 위한 엄격하고 자동화된 방법을 제공함으로써 해석 기하학에서 주석이 달린 샘플의 부족 문제를 해결합니다.