점·선·기호를 관계로 바꾼 뒤 추론한다

그림에서 무엇을 볼까요?

기하 그림에서 점·선·기호를 추출하고 관계 구조를 만든 뒤 정리로 사실을 검증하고 사람이 읽는 설명으로 바꾸는 네 층 흐름

다이·카브랄·쇼우 등은 평면기하 문제에서 순수 언어 모델에 기하 전용 시각 파서와 기호적 풀이기를 붙였습니다. 질문은 거대한 다중양식 모델이 아니더라도, 그림을 정확한 기호 구조로 바꾸고 검증된 사실을 공급하면 복잡한 기하 추론에 경쟁력이 생기는가였습니다.

파서는 선분·원·각과 글자·직각 표시를 검출하고, 기호를 가장 가까운 대상에 붙이되 종류가 맞는 경우만 허용합니다. 예컨대 각도 수치는 각이나 호에만, 수직 표시는 선의 직교 관계에만 연결합니다. 이어 공선성·공원성·각의 위치 같은 암묵 관계를 정리하고, 문제 문장과 그림이 어긋나지 않는지 정렬합니다.