초록
우리는 주어진 추측을 증명하기 위해 관련 있는 수학적 명제를 선택하는 문제, 즉 전제 선택 문제에 대한 딥 러닝 기반 접근법을 제안합니다. 고차 논리 공식을 변수 재명명에 불변하지만 여전히 구문론적 및 의미론적 정보를 완전히 보존하는 그래프로 표현합니다. 그런 다음 이 그래프를 새로운 임베딩 방법을 통해 엣지 순서 정보를 보존하면서 벡터로 임베딩합니다. 우리의 접근법은 HolStep 데이터셋에서 최신 연구 결과를 달성하며, 분류 정확도를 83%에서 90.3%로 개선했습니다.