대규모 언어 모델 (Large language models)은 다단계 추론 (multi-step reasoning) 과정에서 환각 (hallucinate)을 일으키지만, 기존의 대부분의 탐지기들은 추적 수준 (trace level)에서 작동합니다. 즉, 전체 출력에 대해 하나의 신뢰도 점수를 할당하며, 첫 번째 오류를 국소화 (localize)하는 데 실패하고, 종종 여러 번의 샘플링된 완성본 (sampled completions)을 필요로 합니다. 우리는 대신 환각을 단일 순전파 (forward pass) 동안 생성되는 은닉 상태 궤적 (hidden-state trajectory)의 속성으로 정의합니다. 올바른 추론은 국소적으로 일관된 전이 (locally coherent transitions)의 안정적인 매니폴드 (stable manifold)를 통해 이동하며, 첫 번째 오류는 이 매니폴드로부터 전송 비용 (transport cost)이 국소적으로 벗어나는 현상으로 나타납니다.
우리는 이 관점을 다음과 같이 구현합니다: 레이블 조건부 교사 모델 (label-conditioned teacher)은 추적 특화 대조 PCA 렌즈 (trace-specific contrastive PCA lens)를 구축하고 7개의 기하학적 전이 특징 (geometric transition features)으로 각 단계를 점수화하며, 교사 모델로부터 증류된 (distilled) 배포 가능한 BiLSTM 학생 모델 (student)은 추론 시 레이블 없이 원시 은닉 상태 (raw hidden states)에서 작동합니다. 우리는 대조 PCA (contrastive PCA)가 첫 번째 오류 상태와 올바른 상태 사이의 전송 분리 목적 함수 (transport-separation objective)를 위한 최적의 투영 (optimal projection)임을 증명하며, 첫 번째 오류가 이전의 올바른 전이들에 대해 양의 전송 마진 (positive transport margin)을 생성할 때마다 단일 패스 첫 번째 오류 국소화 (single-pass first error localization)가 성립함을 증명합니다.
ProcessBench, PRM800K, HaluEval, 그리고 TruthfulQA에서 두 모델 모두 도메인 내 (in-domain)에서 엔트로피 기반 (entropy-based), 프로빙 기반 (probing-based), 그리고 어텐션 기반 (attention-based) 베이스라인들을 능가했습니다. 교사 모델은 언어 모델과 데이터셋 전반에 걸쳐 안정적으로 전이되는 반면, 학생 모델은 분포 변화 (shift) 하에서 붕괴되는데, 이는 우리의 증류 이론 (distillation theory)이 예측하는 격차입니다. 이러한 결과는 단계별 환각 탐지를 궤적 역학 (trajectory dynamics)의 문제로 재정의하며, 배포를 위한 핵심 장애물인 분포 변화 하에서의 대조 전송 마진 (contrastive transport margin) 보존 문제를 식별합니다.