월~금 오전 7시, 일요일 오전 8시 — AI 뉴스와 용어를 보내드립니다메일로 받아보기

METAL LAB

여러 개 답을 뽑아 투표하는 방식이, AI가 추론 도중 답을 아예 못 내는 문제까지 해결해준다

arXiv:2608.239562026-08-26

Recursive Agentic Reasoning

여러 개 답을 뽑아 투표하는 방식이, AI가 추론 도중 답을 아예 못 내는 문제까지 해결해준다

연구팀은 AI 모델이 추론 시간에 더 많이 생각하게 만드는 세 가지 방법 - 한 답을 계속 다듬기(Grow), 문제를 쪼개서 풀기(Prune), 여러 답을 뽑아 투표하기(Branch) - 을 동일한 조건에서 비교했다. 5개 벤치마크와 3개 최신 모델, 총 14개 조합에서 Branch가 가장 꾸준히 정확도를 높였다. 그 이유를 분석해보니 Branch가 이기는 건 여러 풀이 경로를 종합해서가 아니라, 답을 아예 내지 못하고 잘리는 실패를 복구해주기 때문이었다.

METAL LAB 해설 도표

한 번만 풀면 토큰이 바닥나 빈 응답으로 끝나는 경우가 많다(깨진 원). 이를 여러 번 병렬로 시도해 답을 여러 개 뽑은 뒤(흩어진 점 무리), 다수결로 하나를 채택하면 실패했던 문제도 복구되어 정답에 이른다(중심에 점 하나가 있는 원).
METAL LAB이 원문을 바탕으로 재구성한 해설 도표이며, 논문 저자의 원문 figure가 아닙니다.

무엇을 했나

  1. 연구팀은 반복 개선, 문제 분해, 반복 샘플링이라는 세 가지 테스트 시점 추론 방법을 각각 GROW(한 경로를 계속 파고들기), PRUNE(문제를 하위 질문으로 쪼개고 다시 합치기), BRANCH(여러 답을 독립적으로 뽑아 다수결로 고르기)라는 하나의 틀로 묶었다.
  2. 동일한 프롬프트, 동일한 토큰 예산, 동일한 채점 코드를 쓰는 하나의 실험 환경에서 이 세 연산자를 한 번만 답하는 기본 방식(CoT)과 비교했다. DeepSeek-V4-Pro, MiniMax-M3, Qwen3.6-plus 세 모델과 5개 벤치마크를 조합해 14개 상황, 49,327개 채점 항목, 151,876번의 모델 호출을 분석했다.
  3. 그 결과 BRANCH는 14개 상황 전부에서 정확도를 평균 5.98퍼센트포인트(기본 CoT 대비) 높였고 12곳에서 가장 좋은 성적을 냈다. 반면 GROW는 평균 2.18포인트 개선에 그쳤고 2곳에서는 오히려 성능이 떨어졌으며, PRUNE은 평균 0.94포인트 개선에 머물렀다.
  4. 왜 BRANCH가 이기는지 분석한 결과, 그 이점은 여러 추론 경로를 종합하는 효과뿐 아니라 '답을 아예 내지 못하고 토큰 예산이 바닥나 빈 응답으로 끝나는' 실패를 복구하는 효과에서도 크게 나온다는 것을 발견했다. 기본 CoT 방식이 빈 응답을 낸 비율이 높을수록 BRANCH의 개선 폭도 컸다(상관계수 r=0.72).
  5. 또한 항목을 짝지어 채점하지 않거나(unpaired), 채점 시스템 오류를 모델의 실수로 잘못 처리하면 비교 결론이 크게 바뀌거나 심지어 뒤집힐 수 있음을 실제 사례로 보여주며, 짝지어 채점하는 방식을 표준 관행으로 제안했다.
Figure 1: The four inference-time computation graphs compared in this paper. Hollow nodes are the problem, filled nodes are model calls, and the bottom node is the returned answer. CoT issues one call. Grow extends a single path and halts when the extracted answer stops changing between rounds. Prune decomposes into ordered sub-questions, solves each with the previous answers in context, and recomposes. Branch samples N=5 independent solutions and selects by majority vote over normalized answers, which also discards samples that returned nothing. Call counts are means measured over all runs.
Figure 1: The four inference-time computation graphs compared in this paper. Hollow nodes are the problem, filled nodes are model calls, and the bottom node is the returned answer. CoT issues one call. Grow extends a single path and halts when the extracted answer stops changing between rounds. Prune decomposes into ordered sub-questions, solves each with the previous answers in context, and recomposes. Branch samples N=5 independent solutions and selects by majority vote over normalized answers, which also discards samples that returned nothing. Call counts are means measured over all runs.
Table 1: Benchmarks. n is the number of items evaluated per operator per model. MuSiQue supplies all supporting and distractor paragraphs in context, so it measures multi-hop reasoning rather than retrieval. HLE is restricted to its text-only subset. †BBEH replaces each task of BIG-Bench Hard (Suzgun et al., 2023) with a harder counterpart probing the same skill.
BenchmarkCapability probednMetric
MuSiQue (Trivedi et al., 2022)Multi-hop composition2,417EM / F1
HLE (Phan et al., 2026)Expert-level academic2,158Normalized EM
BBEH (Kazemi et al., 2025)General many-hop†200Normalized EM
SuperGPQA (M-A-P Team et al., 2025)Graduate knowledge300Multiple choice
Omni-MATH (Gao et al., 2025)Olympiad mathematics300Normalized EM
Figure 2: Accuracy change relative to the single-pass CoT baseline in each of the 14 model × benchmark cells, sorted by Branch gain. Bars right of zero are improvements. Branch is positive in every cell; Grow and Prune each go negative in two. All three operators are scored on the same paired item set as the baseline within a cell.
Figure 2: Accuracy change relative to the single-pass CoT baseline in each of the 14 model × benchmark cells, sorted by Branch gain. Bars right of zero are improvements. Branch is positive in every cell; Grow and Prune each go negative in two. All three operators are scored on the same paired item set as the baseline within a cell.
Table 2: Accuracy (%) by benchmark, model, and operator, with the change from the CoT baseline in parentheses. n is the paired item count (Section 4.2). Bold marks the best operator in each cell. Omni-MATH was not run on Qwen3.6-plus, leaving 14 of 15 possible cells.
BenchmarkModelnCoTGrowPruneBranch
MuSiQueDeepSeek-V4-Pro2,41767.9466.69 (−1.25)68.43 (+0.49)72.36 (+4.42)
MuSiQueMiniMax-M32,39873.3575.23 (+1.88)74.23 (+0.88)75.85 (+2.50)
MuSiQueQwen3.6-plus2,39577.0877.49 (+0.41)74.91 (−2.17)78.46 (+1.38)
HLEDeepSeek-V4-Pro2,15213.3414.82 (+1.48)14.68 (+1.34)19.93 (+6.59)
HLEMiniMax-M350022.4027.80 (+5.40)23.80 (+1.40)31.00 (+8.60)
HLEQwen3.6-plus30516.3919.34 (+2.95)15.08 (−1.31)17.05 (+0.66)
BBEHDeepSeek-V4-Pro20038.5036.00 (−2.50)37.50 (−1.00)52.00 (+13.50)
BBEHMiniMax-M320026.5032.50 (+6.00)30.50 (+4.00)37.00 (+10.50)
BBEHQwen3.6-plus19266.6768.75 (+2.08)68.75 (+2.08)72.40 (+5.73)
SuperGPQADeepSeek-V4-Pro30058.3359.00 (+0.67)60.67 (+2.34)65.33 (+7.00)
SuperGPQAMiniMax-M329958.5362.54 (+4.01)59.20 (+0.67)65.22 (+6.69)
SuperGPQAQwen3.6-plus30069.6772.00 (+2.33)69.67 (+0.00)72.00 (+2.33)
Omni-MATHDeepSeek-V4-Pro29933.1133.11 (+0.00)35.79 (+2.68)39.46 (+6.35)
Omni-MATHMiniMax-M328230.1437.23 (+7.09)31.91 (+1.77)37.59 (+7.45)
Figure 3: (a) Per-cell Branch gain against the baseline’s empty-output rate, with a least-squares fit; the association is strong (r=0.72, n=14). The four cells at zero on the horizontal axis are the Qwen3.6-plus cells, which never truncated, and they show the smallest gains. (b) Empty-output rate under the baseline and under Branch for the ten cells where truncation occurs at all. Branch roughly halves it everywhere.
Figure 3: (a) Per-cell Branch gain against the baseline’s empty-output rate, with a least-squares fit; the association is strong (r=0.72, n=14). The four cells at zero on the horizontal axis are the Qwen3.6-plus cells, which never truncated, and they show the smallest gains. (b) Empty-output rate under the baseline and under Branch for the ten cells where truncation occurs at all. Branch roughly halves it everywhere.
Table 3: Attempted versus paired item counts. Six of the fourteen cells are unaffected. The HLE Qwen3.6-plus cell is the outlier and is the cell discussed in Section 6.
BenchmarkModelAttemptedPaired nAttrition
MuSiQueDeepSeek-V4-Pro2,4172,4170
MuSiQueMiniMax-M32,4172,39819
MuSiQueQwen3.6-plus2,4172,39522
HLEDeepSeek-V4-Pro2,1582,1526
HLEMiniMax-M35005000
HLEQwen3.6-plus500305195
BBEHDeepSeek-V4-Pro2002000
BBEHMiniMax-M32002000
BBEHQwen3.6-plus2001928
SuperGPQADeepSeek-V4-Pro3003000
SuperGPQAMiniMax-M33002991
SuperGPQAQwen3.6-plus3003000
Omni-MATHDeepSeek-V4-Pro3002991
Omni-MATHMiniMax-M330028218
Figure 4: Mean accuracy gain against mean model calls per item, averaged over all 14 cells. Dotted guides mark constant returns per call. Branch buys the most accuracy; Grow is marginally more efficient per call but has a far lower ceiling; Prune is dominated on both axes.
Figure 4: Mean accuracy gain against mean model calls per item, averaged over all 14 cells. Dotted guides mark constant returns per call. Branch buys the most accuracy; Grow is marginally more efficient per call but has a far lower ceiling; Prune is dominated on both axes.

실제로 확인된 결과

  • BRANCH는 14개 모델×벤치마크 상황 전부에서 기본 CoT보다 정확도가 높았고, 평균 개선 폭은 5.98퍼센트포인트, 중앙값은 6.47포인트였으며 12곳에서 최고 성적을 기록했다.
  • GROW는 평균 2.18포인트 개선했지만 DeepSeek-V4-Pro의 MuSiQue(-1.25)와 BBEH(-2.50)에서는 오히려 성능이 떨어졌다. PRUNE은 평균 0.94포인트 개선에 그쳤다.
  • DeepSeek-V4-Pro는 기본 CoT 방식에서 HLE 항목의 51.2%, BBEH의 34.5%, Omni-MATH의 36.1%가 빈 응답(토큰 소진)으로 끝났는데, BRANCH를 적용하면 이 빈 응답 비율이 대체로 절반 수준으로 줄었다(예: HLE 51.2%→32.2%).
  • BRANCH의 개선 폭은 기본 CoT의 빈 응답 비율과 강한 상관관계(r=0.72)를 보였고, 빈 응답이 전혀 없었던 Qwen3.6-plus에서는 BRANCH의 개선 폭이 가장 작았다.
  • 짝짓지 않고 채점했을 때 Qwen3.6-plus의 HLE 정확도가 BRANCH 적용 후 14.20%에서 11.20%로 떨어지는 것처럼 보였지만, 이는 통신 오류로 응답을 못 받은 항목을 오답 처리한 결과였고, 짝지어 채점하면 실제로는 +0.66포인트 개선이었다.
Figure 5: HLE accuracy on the 305 items resolved by every model × operator run. Restricting to a shared item set changes the model ranking relative to the unpaired numbers in Table 2, because the 500-item subset attempted by two of the models is easier than the full split.
Figure 5: HLE accuracy on the 305 items resolved by every model × operator run. Restricting to a shared item set changes the model ranking relative to the unpaired numbers in Table 2, because the 500-item subset attempted by two of the models is easier than the full split.

어디에 쓸 수 있나

  • 제한된 추가 컴퓨팅 예산으로 AI 모델의 정답률을 높이고 싶을 때, 여러 답을 뽑아 다수결로 고르는 방식을 우선 검토할 수 있다.
  • 긴 추론을 하는 모델이 토큰 예산 부족으로 빈 응답을 자주 낸다면, 여러 번 샘플링하는 대신 잘린 응답에 마무리 답변을 요청하는 간단한 후처리만으로도 비슷한 효과를 저비용으로 얻을 가능성을 검토할 수 있다.
  • 여러 테스트 시점 추론 방법을 비교하는 실험을 설계할 때, 모든 방법이 답을 낸 동일한 문제 집합에서만 비교하는 짝지어 채점 방식을 도입할 수 있다.
  • 통신 오류나 API 실패로 응답을 못 받은 항목을 자동으로 오답 처리하지 않고 제외하는 채점 규칙을 검토할 수 있다.

한계와 남은 검증

  • BRANCH의 투표 방식은 신뢰도나 검증기 없이 단순 다수결만 사용해, 검증기 기반 선택 방법보다는 표현력이 떨어진다고 저자들도 밝혔다.
  • BRANCH는 부분 추론 상태를 확장하거나 가지치기하는 트리 탐색이 아니라 단순 병렬 샘플링이어서, Tree of Thoughts 같은 방법과는 알고리즘적으로 다르다.
  • 통계적 유의성 검정을 따로 하지 않았고, 200개 항목 규모의 상황에서는 95% 신뢰구간이 약 ±7포인트에 달해 BBEH·Omni-MATH의 작은 효과는 잠정적으로 봐야 한다.
  • HLE 채점은 엄격한 하한값이라 절대 정확도는 실제보다 낮게 나올 수 있고, Omni-MATH는 Qwen3.6-plus에서 실행하지 않았다.
  • 세 모델 모두 숨은 추론 과정을 내는 리즈닝 모델이라, 이런 특성이 없는 모델에는 토큰 소진 복구 효과가 그대로 적용되지 않을 수 있다.

왜 중요한가

AI가 어려운 문제를 풀 때 추가로 컴퓨팅 자원을 어떻게 쓸지 결정하는 실무자에게, 여러 방법 중 어떤 것을 골라야 할지에 대한 근거를 준다. 또한 성능 비교 실험을 할 때 채점 방식 하나로 결론이 뒤집힐 수 있다는 경고이기도 하다.

이 논문의 용어

  • 테스트 시점 추론(test-time reasoning) · 모델을 다시 학습시키지 않고, 답을 낼 때 추가로 계산을 더 써서 성능을 높이는 방법들
  • GROW/PRUNE/BRANCH · 이 논문이 정의한 세 가지 방식: 한 경로를 계속 다듬기 / 문제를 쪼개서 풀기 / 여러 답을 뽑아 투표하기
  • chain-of-thought(CoT) 기본 방식 · 모델이 한 번만 호출되어 추론 과정을 거쳐 답을 내는, 비교의 기준이 되는 단순한 방식
  • 짝지어 채점(paired scoring) · 여러 방법을 비교할 때, 모든 방법이 다 답을 낸 동일한 문제 집합에서만 성적을 비교하는 방식
  • 토큰 예산 소진(truncation/budget-exhausted) · 모델이 생각을 너무 오래 하다가 정해진 토큰 한도를 다 써버려서 최종 답을 내지 못하고 응답이 잘리는 현상

저자 · Shengxin Zhang, Xiaomin Wu, Xiyang Wu, Jing Xie

arXiv에서 원문 보기

최신 논문

논문 전체 보기 →

METAL LAB 최신 기사

그림 출처: Shengxin Zhang et al., arXiv:2608.23956, CC BY 4.0