COMPOSE: 인용과 형식적 구조로부터 미래 정리를 구성하기
COMPOSE: Composing Future Theorems from Citations and Formal Structure
TL;DR AI
1분핵심 요약
연구진은 기준 논문에서 출발해 앞으로 나올 법한 정리형 주장들을 예측하는 듀얼 그래프 시스템 COMPOSE를 제안했다.
이 시스템은 과학 논문 인용 그래프와 정리의 형식적 의존 구조를 함께 조건으로 사용해 예측의 근거를 강화한다.
팀은 arXiv와 Mathlib를 바탕으로 108K쌍 데이터셋과, 2024~2025년 미래 논문을 포함한 47K편 벤치마크도 구축했다.
COMPOSE는 검색 기반 평가와 LLM 심사 평가에서 강한 기준선들을 앞섰으며, 문헌 탐색과 정리 예측에 유용할 가능성을 보였다.