Inter-GPS: 해석 가능한 기하학 문제 해결을 위한 형식 언어 및 기호적 추론

최근 자연어 처리(NLP) 커뮤니티에서 기하 문제 해결이 많은 주목을 받고 있습니다. 이 작업은 추상적인 문제 이해와 공리적 지식을 활용한 기호 논리를 요구하기 때문에 도전적입니다. 그러나 현재의 데이터셋들은 규모가 작거나 공개되지 않은 경우가 많습니다. 따라서, 우리는 공식 언어로 밀도 있게 주석이 달린 3,002개의 기하 문제로 구성된 새로운 대규모 벤치마크인 Geometry3K를 구축하였습니다. 또한, 공식 언어와 기호 논리를 활용하는 새로운 기하 문제 해결 방법인 해석 가능한 기하 문제 해결기(Inter-GPS)를 제안합니다. Inter-GPS는 규칙 기반 텍스트 파싱과 신경망 객체 검출을 통해 각각 자동으로 문제 텍스트와 도형을 공식 언어로 분석합니다. 기존 방법들의 암시적인 학습과 달리, Inter-GPS는 정리 지식을 조건부 규칙으로 통합하여 단계적으로 기호 논리를 수행합니다. 또한, 더 효율적이고 합리적인 탐색 경로를 위해 기호 해결기에 입력되는 정리 적용 순서를 추론하기 위한 정리 예측기가 설계되었습니다. Geometry3K와 GEOS 데이터셋에 대한 광범위한 실험 결과, Inter-GPS가 기존 방법들보다 상당한 개선을 보였음을 입증하였습니다. 프로젝트 코드와 데이터는 https://lupantech.github.io/inter-gps에서 확인할 수 있습니다.