FormalAnalyticGeo: 멀티모달 해석 기하학 문제 생성을 위한 신경-기호 기반 프레임워크

요약

본 논문은 멀티모달 대규모 언어 모델(MLLMs)의 발전에 따라 부족했던 해석 기하학 분야를 위한 문제 생성 프레임워크 FormalAnalyticGeo를 제안합니다. 이 프레임워크는 CDL이라는 공식적 중간 표현을 활용하여, 문제 텍스트와 SDF 기반 다이어그램 렌더링을 연결합니다. 이를 통해 정답과 주석이 포함된 대규모 검증 데이터셋 AnalyticGeo7K가 구축되었습니다.

핵심 포인트

• FormalAnalyticGeo: 멀티모달 해석 기하학 문제 생성을 위한 신경-기호 프레임워크 제시
• CDL(Condition Description Language)을 공식적 중간 표현으로 활용하여 텍스트와 다이어그램 연결
• Generator, Formalizer, Measurer 등 4가지 특화 LLM 구성 요소 사용
• 7K개가 넘는 검증된 멀티모달 문제 데이터셋 AnalyticGeo7K 구축 및 공개 예정