MiroThinker H1 검증 중심 추론: 더 적은 상호작용으로 더 나은 에이전트 성능

Who Should Read

에이전트 시스템에서 도구 호출 루프 문제를 해결하려는 개발자, RAG·에이전트 아키텍처를 설계하는 엔지니어

Core Mechanics

• Local Verifier: 가장 높은 확률의 경로를 따르는 대신 반증 증거를 적극 탐색하도록 강제 — 과신(overconfidence)과 루프 탈출
• Global Planner: 목표를 하위 작업으로 분해하고 도구 호출을 감독 — 불필요한 재시도 제거
• 결과: 이전 세대 대비 ~17% 성능 향상, ~43% 상호작용 라운드 감소 (arXiv: 2603.15726)
• 핵심 인사이트: 에이전트 루프 최적화는 "더 많은 시도"가 아닌 "올바른 시도 선택"의 문제

Evidence

• 실제 에이전트 RAG 시스템에서 긴 비생산적 도구 호출 루프 문제를 해결한 실무자가 논문 분석
• MiroThinker 논문(arXiv: 2603.15726)의 검증 중심 추론 아키텍처 분석

How to Apply

• 에이전트 설계 시 탐욕적 경로 추종 대신 각 단계에서 반증 증거를 먼저 수집하는 검증 루프 추가
• 도구 호출이 반복·순환하는 증상 발생 시 Global Planner 패턴으로 목표 분해 및 상태 추적 도입

Terminology