연구진이 다중 모드 대형 언어 모델(MLLM)의 발전에도 해석 기하 분야가 상대적으로 소외된 문제를 해결하기 위해 FormalAnalyticGeo 프레임워크를 개발했어요.
FormalAnalyticGeo는 조건 설명 언어(CDL)를 기반으로 텍스트 문제와 정확한 다이어그램 렌더링을 연결하며, 7000개 이상의 검증된 다중 모드 해석 기하 문제 데이터셋 AnalyticGeo7K를 생성했어요.
생성된 문제들은 정확한 기호 해답과 비교했을 때 평균 상대 오차가 0.70%로 매우 낮고, 82.3%의 답이 5% 이내에 속하는 높은 정확도를 보였어요.