비슷한 기호를 묶는 추론은 증명일까?

그림에서 무엇을 볼까요?

질의 역방향 탐색 → 임베딩 유사성 → 부드러운 통일 → 후보 경로 ≠ 형식 증명를 비교하는 LTCT 교육용 도식

mentor와 teacher가 비슷해 teacher→guides 규칙에 연결되면 새 질의 점수가 생깁니다. 실제 맥락에서 같은 역할인지 정확한 규칙으로 다시 검증합니다.

그림의 네 칸은 원문 도표를 복사한 것이 아니라 본문의 핵심 관계를 한 화면에서 비교하도록 재구성했습니다. 수치가 있는 경우 분모와 비교 대상을 먼저 확인하고, 화살표나 순서가 있는 경우 시작 조건과 도착 결론을 문장으로 다시 읽습니다.