AutoGPS는 신경망 기반 및 기호 기반 방법의 한계를 극복하기 위해 제안된 기하 문제 해결을 위한 신경 기호 협업 프레임워크입니다. 다중 모달 문제 공식화기(MPF)와 연역적 기호 추론기(DSR)로 구성되어 있습니다. MPF는 신경망 기반의 다중 모달 이해를 통해 기하 문제를 구조화된 형식 언어 표현으로 변환하고, DSR의 피드백을 받습니다. DSR은 이 형식화된 표현을 입력으로 받아 기하 문제 해결을 초그래프 확장 작업으로 공식화하고, 수학적으로 엄밀하고 신뢰할 수 있는 유도를 통해 최소하고 사람이 읽을 수 있는 단계별 솔루션을 생성합니다. 벤치마크 데이터셋에서 최첨단 성능을 달성했으며, 99%의 단계적 논리적 일관성을 보이는 등 높은 신뢰성과 해석성을 입증했습니다.
