컴백부터 K-뷰티까지 — K-컬쳐의 모든 것을 메일로 받아보세요메일로 받아보기

METAL MEDIA

추론 모델이 여러 답을 병렬로 뽑을 때, 잘 풀리는 답만 골라 더 많이 계산 자원을 몰아주는 알고리즘 Gambit

arXiv:2608.080202026-08-10

Thought-Level Beam Search for Reasoning

추론 모델이 여러 답을 병렬로 뽑을 때, 잘 풀리는 답만 골라 더 많이 계산 자원을 몰아주는 알고리즘 Gambit

대형 추론 모델은 답을 여러 개 병렬로 생성한 뒤 다수결로 정답을 고르는 방식(Self-Consistency)으로 성능을 높이지만, 대부분의 시도가 틀린 답으로 끝나 계산 자원을 낭비한다. Gambit은 생성 도중 유망한 답변 줄기를 가벼운 점수 매기기로 골라내 그 지점에서 계속 가지치기(branching)하고, 가망 없는 줄기는 주기적으로 끊어 그 자리를 새 가지로 채우는 방식으로 계산량을 능동적으로 재분배한다. 동일한 하드웨어 조건에서 기존 가지치기 방식보다 HMMT-24에서 최대 6.7%p, AIME-25에서 3.3%p 정확도를 높이고, 처리량은 2배 이상, 토큰 소모는 표준 병렬 샘플링 대비 최대 68.5% 줄였다.

METAL MEDIA 해설 도표

Gambit의 능동적 계산 재분배 구조

증거 상태측정 결과가 보고됨

  1. 문제 입력과 병렬 시작하나의 문제에 대해 고정된 용량 C만큼 추론 줄기를 동시에 생성 시작
  2. 주기적 점수 평가Δ 스텝마다 각 줄기의 은닉 상태를 가벼운 점수기로 평가해 순위를 매김
  3. 제로섬 가지치기와 분기점수 낮은 K개 줄기를 끊고, 점수 높은 K개 접두어에서 KV-cache를 물려받아 새 가지를 즉시 생성해 활성 줄기 수를 항상 C로 유지
  4. 완료와 점수 가중 투표완료된 줄기들의 답을 각자의 점수만큼 가중치를 주어 다수결로 최종 답 결정
  5. 측정된 효과STEP 대비 정확도 최대 +6.7%p, 병렬 샘플링 대비 토큰 소모 최대 68.5% 감소, 처리량 2배 이상
METAL MEDIA이 원문을 바탕으로 재구성한 해설 도표이며, 논문 저자의 원문 figure가 아닙니다.

무엇을 했나

  1. 대형 추론 모델의 추론 시간 확장(test-time compute scaling)을 '얼마나 많이 계산할까'가 아니라 '어디에 계산을 쓸까'라는 자원 배분 문제로 재정의했다.
  2. 기존 두 방식의 한계를 지적한다: 병렬 샘플링(Self-Consistency)은 각 시도를 독립적으로 취급해 GPU 메모리(KV-cache)를 과도하게 소비하고, 가지치기(pruning)만 하는 방식은 나쁜 시도를 끊기만 할 뿐 빈 자리를 채우지 않아 하드웨어를 놀린다.
  3. Gambit은 일정 간격(Δ steps)마다 진행 중인 추론 줄기들의 은닉 상태(hidden state)를 가벼운 점수 매기기 모델로 평가해, 점수 낮은 K개는 끊고 점수 높은 K개의 접두어(prefix)에서 새 가지를 즉시 뻗어 전체 활성 줄기 수를 항상 일정하게(zero-sum) 유지한다.
  4. 새로 뻗은 가지는 부모의 KV-cache(중간 계산 결과 캐시)를 그대로 물려받아, 처음부터 다시 계산하지 않고 이어서 생성하므로 토큰과 메모리를 크게 아낀다.
  5. Qwen3-4B, DeepSeek-R1-8B, Phi-4-14B 등 여러 모델과 AIME, HMMT, GPQA-Diamond 벤치마크에서 실측한 결과, Gambit이 정확도·처리량·토큰 소모 모든 축에서 기존 방법들을 일관되게 앞섰다.
Figure 1: Reasoning topologies for test-time compute allocation. (Left) Parallel sampling treats traces as independent trials, leading to wrong answers in majority. (Center) Score-based pruning terminates unpromising paths but leaves the freed capacity idle, failing to actively shift the sampling distribution. (Right) Gambit actively reallocates compute: when low-scoring traces are pruned, it immediately branches from high-quality prefixes to amplify correct reasoning and saturate the compute budget.
Figure 1: Reasoning topologies for test-time compute allocation. (Left) Parallel sampling treats traces as independent trials, leading to wrong answers in majority. (Center) Score-based pruning terminates unpromising paths but leaves the freed capacity idle, failing to actively shift the sampling distribution. (Right) Gambit actively reallocates compute: when low-scoring traces are pruned, it immediately branches from high-quality prefixes to amplify correct reasoning and saturate the compute budget.
Table 1: End-to-end task accuracy and token consumption per question (×106) at N=256. Δ: relative token reduction (%) vs. SC@256. Bold: best accuracy / lowest tokens per dataset.
MethodAIME-25AIME-26HMMT-24HMMT-25GPQA
Tok. (Δ)AccTok. (Δ)AccTok. (Δ)AccTok. (Δ)AccTok. (Δ)Acc
Qwen3-4B-Thinking
SC@2566.0286.75.8286.77.6250.86.8665.02.2868.2
Slim-SC3.93 (-34.7)86.73.83 (-34.2)85.04.01 (-47.4)51.73.72 (-45.8)65.81.66 (-27.2)65.6
DeepConf3.27 (-45.7)90.03.19 (-45.2)86.74.28 (-43.8)58.34.15 (-39.5)66.71.52 (-33.3)67.6
STEP3.96 (-34.2)86.73.51 (-39.7)87.54.02 (-47.2)61.73.88 (-43.4)66.72.09 (-8.3)66.9
Gambit (Ours)3.07 (-49.0)90.03.45 (-40.7)88.33.00 (-60.6)65.03.49 (-49.1)67.51.83 (-19.7)70.2
DeepSeek-R1-8B
SC@2566.7683.36.8583.38.4755.87.6570.02.9267.1
Slim-SC5.87 (-13.2)83.36.08 (-11.2)83.37.32 (-13.6)55.86.93 (-9.4)70.72.26 (-22.6)67.1
DeepConf3.75 (-44.5)81.73.67 (-46.4)84.24.34 (-48.8)60.03.97 (-48.1)71.71.68 (-42.5)68.7
STEP3.71 (-45.1)83.33.66 (-46.6)83.34.15 (-51.0)63.34.08 (-46.7)75.82.44 (-16.4)68.2
Gambit (Ours)4.21 (-37.7)85.84.09 (-40.3)85.03.05 (-64.0)65.63.81 (-50.2)75.82.21 (-25.3)68.2
Microsoft-Phi
SC@2564.2486.74.2088.55.4356.75.5673.33.0576.3
Slim-SC3.43 (-19.1)85.03.50 (-16.7)86.74.72 (-13.1)55.74.48 (-19.4)74.22.24 (-26.6)72.3
DeepConf2.56 (-39.6)85.82.75 (-34.5)86.72.86 (-47.3)57.53.02 (-45.7)74.21.61 (-47.2)74.8
STEP2.39 (-43.6)87.52.44 (-41.9)90.02.75 (-49.4)56.72.78 (-50.0)75.02.10 (-31.1)76.7
Gambit (Ours)1.76 (-58.5)88.31.86 (-55.7)90.01.72 (-68.3)58.31.75 (-68.5)75.81.59 (-47.9)77.1
Figure 2: Branching from a high-quality prefix versus independent sampling on a hard AIME 2025 problem (Q27). Branching 64 continuations from the top-ranked prefix achieves 87.5% pass@1 (14× over 6.2% baseline) while sharing the parent’s KV-cache (green region) halves memory consumption.
Figure 2: Branching from a high-quality prefix versus independent sampling on a hard AIME 2025 problem (Q27). Branching 64 continuations from the top-ranked prefix achieves 87.5% pass@1 (14× over 6.2% baseline) while sharing the parent’s KV-cache (green region) halves memory consumption.
Table 2: Impact of scorer architecture on end-to-end downstream accuracy. Gambit consistently outperforms the pruning-only baseline (STEP) across different reward models and base LLMs. By actively reallocating compute to promising prefixes, Gambit effectively unlocks the potential of the guidance signal, whereas purely subtractive methods remain fundamentally bottlenecked by their inability to generate new traces.
Base ModelSystemAIME-25AIME-26HMMT-24HMMT-25GPQA
DeepSeek-R1-0528 -Qwen3-8BSTEP + SeqScorer83.384.261.775.866.7
Gambit + SeqScorer88.5 (+5.2)86.7 (+2.5)69.4 (+7.7)76.7 (+0.9)67.7 (+1.0)
Qwen3-4B -Thinking-2507STEP + SeqScorer86.786.760.065.067.1
Gambit + SeqScorer90.0 (+3.3)87.5 (+0.8)61.7 (+1.7)65.8 (+0.8)68.2 (+1.1)
Figure 3: GPU memory utilization and latency profiles during reasoning with batch_size=256 traces on HMMT-25 Q7. Parallel sampling exhausts KV-cache capacity, inflating latency by ∼3×. Pruning-only STEP (Liang et al. 2026) eliminates queueing but steadily loses concurrency. Gambit maintains high utilization throughout at ∼1.1× latency.
Figure 3: GPU memory utilization and latency profiles during reasoning with batch_size=256 traces on HMMT-25 Q7. Parallel sampling exhausts KV-cache capacity, inflating latency by ∼3×. Pruning-only STEP (Liang et al. 2026) eliminates queueing but steadily loses concurrency. Gambit maintains high utilization throughout at ∼1.1× latency.
Table 3: Latency decomposition for Gambit with Qwen3-4B on AIME-26 with a batch size of N=256. Algorithmic overhead accounts for less than 1% of total execution time, confirming that the beam search mechanism operates efficiently without introducing system bottlenecks.
Execution ComponentTime (s)% Wall Clock
GPU Compute (Forward Pass & Sampling)37,851.9799.03%
Beam-search Overhead (Scoring & Tree Mgmt)370.760.97%
Total Wall Clock38,222.73100.00%
Figure 4: End-to-end pipeline of Gambit on an AIME problem (capacity C=5, swap size K=2). During warmup, C=5 parallel traces are evaluated (color intensity denotes running score s¯∈[0,1]). Every Δ steps, a tournament ranks the active traces: the K=2 lowest-scoring traces are pruned (×) and replaced by new branches spawned from the highest-scoring prefixes via prefix caching (green arrows). This zero-sum reallocation maintains exactly C active traces throughout generation. Upon completion, answers are aggregated via a score-weighted majority vote, correctly selecting answer 29 (∑s¯=1.78 vs. 1.43).
Figure 4: End-to-end pipeline of Gambit on an AIME problem (capacity C=5, swap size K=2). During warmup, C=5 parallel traces are evaluated (color intensity denotes running score s¯∈[0,1]). Every Δ steps, a tournament ranks the active traces: the K=2 lowest-scoring traces are pruned (×) and replaced by new branches spawned from the highest-scoring prefixes via prefix caching (green arrows). This zero-sum reallocation maintains exactly C active traces throughout generation. Upon completion, answers are aggregated via a score-weighted majority vote, correctly selecting answer 29 (∑s¯=1.78 vs. 1.43).
Table 4: Systems-level efficiency at n=256 on a single B300-275 GB. Token consumption is reported in thousands (K); latency in wall-clock seconds per question. Bold indicates the best result per column within each model–metric block.
AIME-25AIME-26HMMT-24HMMT-25GPQA
Qwen3-4B-Thinking-2507
Tokens (K)SC6,0235,8177,6226,8572,276
Slim-SC3,9303,8294,0103,7231,659
DeepConf3,2663,1924,2784,1481,516
STEP3,9603,5064,0233,8842,089
Gambit (Ours)3,0713,4493,0023,4931,826
Latency (s)SC3,4653,3385,3584,313593
Slim-SC1,9051,8412,4121,995555
DeepConf2,0952,1883,2312,948605
STEP1,3901,2322,0161,507786
Gambit (Ours)1,3501,1771,9122,179527
DeepSeek-R1-0528-Qwen3-8B
Tokens (K)SC6,7646,8498,4657,6522,919
Slim-SC5,8746,0807,3236,9332,256
DeepConf3,7533,6664,3373,9721,679
STEP3,7113,6614,1474,0772,444
Gambit (Ours)4,2114,0893,0533,8062,211
Latency (s)SC4,0784,1075,6404,873880
Slim-SC3,4623,5645,0714,342771
DeepConf2,6922,5823,2562,800744
STEP1,5191,4691,9021,715730
Gambit (Ours)1,5711,8422,0142,169702
Phi-4
Tokens (K)SC4,2434,1985,4265,5593,050
Slim-SC3,4263,5034,7164,4822,242
DeepConf2,5572,7492,8603,0221,608
STEP2,3902,4352,7542,7802,097
Gambit (Ours)1,7561,8551,7171,7521,590
Latency (s)SC2,7602,6363,8484,0461,730
Slim-SC2,1232,1663,0692,7041,048
Figure 5: Efficiency vs. Accuracy trade-offs over all benchmarks. (a) Average Latency vs. Accuracy. (b) Average Token Consumption vs. Accuracy. Gambit (Ours) dominates the efficiency frontier, achieving the highest accuracy with the lowest overall token footprint and highly competitive wall-clock latency.
Figure 5: Efficiency vs. Accuracy trade-offs over all benchmarks. (a) Average Latency vs. Accuracy. (b) Average Token Consumption vs. Accuracy. Gambit (Ours) dominates the efficiency frontier, achieving the highest accuracy with the lowest overall token footprint and highly competitive wall-clock latency.

실제로 확인된 결과

  • 동일 하드웨어 제약에서 Gambit은 가지치기 기반 STEP 대비 HMMT-24에서 최대 +6.7%p, AIME-25에서 +3.3%p 정확도를 높였다.
  • 표준 병렬 샘플링(Self-Consistency) 대비 총 토큰 소모를 최대 68.5% 줄였고(Phi-4, HMMT-25: 1.75M vs 5.56M 토큰), 완료된 추론 줄기 처리량은 2배 이상 높았다(Qwen3-4B에서 0.216 대 0.098).
  • 4B 모델 기준, 정밀 보정된 DeepConf와 AIME-25에서는 동률(90.0%)을 보였고 HMMT-24(+6.7%p), GPQA(+2.6%p)에서는 앞섰다.
  • 빔 서치 알고리즘 자체의 연산 오버헤드는 전체 실행 시간의 1% 미만(0.97%)으로, 시스템 병목을 일으키지 않는 것으로 측정됐다.
  • AIME 2025 문제 하나에 대한 사례 분석에서, 같은 모델로 2배 많은 병렬 샘플링(n=512)을 돌려도 정답을 못 찾은 반면, Gambit은 훨씬 적은 토큰으로 정답에 도달했다.
Figure 6: Trace throughput on AIME-26. Gambit effectively doubles the completion rate.
Figure 6: Trace throughput on AIME-26. Gambit effectively doubles the completion rate.

어디에 쓸 수 있나

  • 경쟁 수준 수학 문제나 대학원급 과학 문제처럼 정답률이 낮고 추론 줄기가 긴 작업에서 추론 시간 자원 배분 전략으로 고려할 수 있다.
  • vLLM 같은 서빙 엔진 위에서 KV-cache 메모리 압박과 GPU 유휴 시간을 동시에 줄이려는 추론 서버 운영에 참고할 수 있다.
  • 기존에 STEP, DeepConf 같은 가벼운 내부 점수 매기기 신호를 이미 쓰고 있는 시스템이라면, 순수 가지치기 대신 능동적 가지 뻗기로 교체하는 아이디어로 활용할 수 있다.
Figure 7: Distribution of unique tokens generated per completed trace on AIME-2026. By branching from shared high-quality KV-cache prefixes, Gambit drastically reduces the median number of new tokens required to explore alternative reasoning pathways compared to SC and STEP.
Figure 7: Distribution of unique tokens generated per completed trace on AIME-2026. By branching from shared high-quality KV-cache prefixes, Gambit drastically reduces the median number of new tokens required to explore alternative reasoning pathways compared to SC and STEP.

한계와 남은 검증

  • 실험은 AIME, HMMT, GPQA-Diamond 등 수학·과학 경쟁 문제와 특정 오픈 웨이트 모델(Qwen3-4B, DeepSeek-R1-8B, Phi-4-14B) 범위에서만 측정됐고, 다른 도메인이나 훨씬 큰 모델에 대한 검증은 보고되지 않았다.
  • 점수 매기기 함수(scorer)의 품질에 성능이 의존하는데, 논문은 STEP의 기성 MLP 점수기와 자체 학습한 시퀀스 점수기 두 가지만 비교했다.
  • 초반 추론은 신호가 불안정하다는 이유로 워밍업 구간(w=12K 토큰) 이전에는 점수 평가와 체크포인팅을 하지 않는데, 이 임계값 설정이 다른 문제 유형에도 그대로 통할지는 별도 검증이 필요하다.
  • 단일 NVIDIA B300 GPU 환경에서 측정된 결과이며, 다중 GPU나 다른 하드웨어 세대에서의 재현 여부는 논문에 보고되지 않았다.
Figure 9: Pairwise ranking accuracy vs. fraction of reasoning steps used (k%). Higher accuracy indicates better separation of correct and incorrect traces given only a partial prefix.
Figure 9: Pairwise ranking accuracy vs. fraction of reasoning steps used (k%). Higher accuracy indicates better separation of correct and incorrect traces given only a partial prefix.

왜 중요한가

추론형 AI 모델을 실제 서비스에 쓸 때 가장 큰 비용은 정답률을 높이려고 답을 여러 번 생성하는 데 드는 GPU 시간과 메모리다. Gambit은 같은 하드웨어로 더 정확한 답을 더 빨리, 더 적은 토큰으로 얻는 방법을 보여줘 추론 비용 최적화에 직접적인 시사점을 준다.

Figure 10: Hyperparameter sensitivity of Gambit on AIME-25 with DeepSeek-R1-0528-8B (batch size 256, C=256). Each panel varies one parameter while fixing the others to the selected configuration (K=16,Δ=200,w=12​K,r=0.9). The dashed line denotes the SC@256 baseline (83.3%). The selected configuration (red circle) lies within a broad high-performing regime, consistently outperforming the baseline.
Figure 10: Hyperparameter sensitivity of Gambit on AIME-25 with DeepSeek-R1-0528-8B (batch size 256, C=256). Each panel varies one parameter while fixing the others to the selected configuration (K=16,Δ=200,w=12​K,r=0.9). The dashed line denotes the SC@256 baseline (83.3%). The selected configuration (red circle) lies within a broad high-performing regime, consistently outperforming the baseline.

이 논문의 용어

  • Self-Consistency · 같은 질문에 대해 여러 개의 답변 줄기를 독립적으로 생성한 뒤 다수결로 최종 답을 정하는 기법
  • KV-cache · 트랜스포머 모델이 이전에 계산한 키/값 벡터를 저장해 다음 토큰 생성 시 재사용하는 메모리 공간
  • 빔 서치(beam search) · 여러 후보 경로 중 점수가 높은 일부만 남기고 나머지를 버리며 탐색을 진행하는 방법. 이 논문은 토큰 단위가 아니라 '생각 단계(thought)' 단위로 이를 적용한다
  • 가지치기(pruning) · 가능성이 낮다고 판단된 추론 줄기를 도중에 중단시켜 계산 낭비를 줄이는 방식
  • 은닉 상태(hidden state) · 모델 내부 계층이 생성하는 중간 표현 벡터로, 여기서는 이를 이용해 추론 줄기의 품질을 가볍게 추정한다

저자 · Lijie Yang

arXiv에서 원문 보기

최신 논문

논문 전체 보기 →

METAL MEDIA 최신 기사

그림 출처: Lijie Yang et al., arXiv:2608.08020, CC BY-SA 4.0