본 논문은 효과적인 수학적 추론을 위한 검증의 중요성을 강조하며, 검증자가 이전 평가를 기반으로 판단을 반복적으로 개선하는 새로운 시간적 일관성 방법을 제시합니다. 이 방법은 단일 라운드 검증이나 다중 모델 토론 방식과 달리, 일련의 자기 성찰 행동의 일관성을 활용하여 검증 정확도를 향상시킵니다. 다양한 수학적 프로세스 오류 식별 벤치마크(Mathcheck, ProcessBench, PRM800K)에서 기저 방법 대비 일관된 성능 향상을 보였으며, 최근 DeepSeek R1 증류 모델에 적용 시 7B/8B 증류 모델이 모든 70B/72B 모델과 GPT-4o를 ProcessBench에서 능가하는 강력한 성능을 보여주었습니다. 또한, 시간적 일관성 방법을 사용한 증류 14B 모델은 Deepseek-R1과 유사한 성능을 달성했습니다.
