문장 요약(슬로건)
수학 명제를 한 줄 내외의 자연어 문장으로 간결하게 요약한 표현이다. 원문 정리나 정리의 핵심 주장만을 담아 embedding 모델에 입력하기 적합하도록 구성되며, 형식선언과 비형식 서술을 동일한 임베딩 공간으로 매핑하는 관문 역할을 한다. 이 논문에서는 Qwen3 계열 모델로 생성한 slogan을 색인에 저장해 형식/비형식 문장 간 매칭을 수행했다.