이 논문은 기하학 문제 해결을 위한 신경-기호 시스템을 제안한다. 이 시스템은 FormalGeo에 기반한 기호 시스템과 주의 메커니즘을 활용한 하이퍼그래프 신경망 네트워크로 구성된다.
기호 시스템은 기하학적 관계 추론과 대수적 계산을 자동으로 수행하고, 해결 과정을 조건을 나타내는 하이퍼노드와 정리를 나타내는 하이퍼엣지로 구성된 해결 하이퍼트리로 구성한다.
신경 시스템은 하이퍼트리의 구조적, 의미적 정보를 효과적으로 인코딩하는 인코더와 문제 해결 방향을 제공하는 솔버로 구성된다. 신경 시스템은 하이퍼트리에 따라 정리를 예측하고, 기호 시스템은 정리를 적용하고 하이퍼트리를 업데이트하는 예측-적용 주기를 형성하여 최종적으로 읽을 수 있고 추적 가능한 자동 기하학 문제 해결을 달성한다.
실험 결과, 제안된 시스템은 formalgeo7k 데이터셋에서 단계별 정확도 87.65%, 전체 정확도 85.53%를 달성했다.
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Xiaokai Zhan... at arxiv.org 04-23-2024
https://arxiv.org/pdf/2402.11461.pdfDeeper Inquiries