Truncated Reasoning Under a Budget: Evaluating System-1 Models as Decision-makers
Organizations: University of Illinois Urbana-Champaign · University of Arizona · University of California, Irvine · New York University ·
Abstract
Large language models (LLMs) often generate more reasoning tokens than needed. Limiting the reasoning budget reduces cost, but forcing an answer from an incomplete trace can hurt accuracy. System-1 decision models select among candidate options without producing a reasoning response. We evaluate Jev as a decision reader of truncated reasoning across seven LLM reasoners and five multiple-choice benchmarks (35 pairs). Jev achieves higher mean accuracy than forced answering at tested budgets from 500 to 16,000 tokens, including the estimated costs of reasoning and answering. At a 1,500-token budget, it improves accuracy by 4.1 pp overall and 8.6 pp on truncated questions, with significant gains in 17 pairs under Holm-corrected bootstrap tests. Offline replay estimates 34.5% of the full-run cost, with a 1.13 pp accuracy loss. A policy selected on training folds saves 71.3% of the estimated full-run cost on held-out folds, with a 0.58 pp accuracy loss. We also find that Jev shows strong question-only accuracy, exceeding 500-token forced answering on average (68.0% vs. 65.5%), although this advantage varies by benchmark. These findings suggest that System-1 decision models can complement LLM reasoning and reduce the need for costly reasoning completion.
Figures & tables
| Experiment procedure | |
|---|---|
| Input: retained traces, answer records, cut settings, window . | |
| 1 | for each trace and budget or fraction do |
| 2 | or . |
| 3 | if budget mode and a saved generation failure is reached before answering then |
| 4 | Record failure. Do not invent an answer call. |
| 5 | else if budget mode, , and a valid natural answer exists then |
| Accuracy (%) | Cost (% of full run) | Jev significantly better / worse (of 35 pairs) | |||||||
| Jev | Luna-dec. | Luna-gen. | Forced | Jev | Forced | vs. forced | vs. Luna-dec. | vs. Luna-gen. | |
| 0 | 68.0 | 54.2 | 55.2 | 53.4 | 1.7 | 4.7 | 28 / 1 | 21 / 2 | 21 / 7 |
| 0.5k | 73.9 | 67.2 | 67.0 | 65.5 | 19.1 | 22.2 | 29 / 0 | 22 / 0 | 22 / 0 |
| 1k | 75.2 | 71.1 | 70.3 | 70.1 | 28.2 | 31.4 | 25 / 0 | 20 / 0 | 21 / 0 |
| 1.5k | 75.8 | 72.9 | 72.5 | 71.7 | 34.5 | 38.3 | 21 / 0 | 14 / 1 | 20 / 0 |
| 2k | 76.3 | 73.8 | 73.3 | 73.1 | 39.5 | 43.4 | 18 / 0 | 16 / 0 | 18 / 0 |
| k | ||||||
|---|---|---|---|---|---|---|
| Benchmark | Full | Jev | Jev | L-d | L-g | Forced |
| GPQA-D | 88.3 | 78.3 | 82.0 | 75.5 | 75.1 | 72.9 |
| SuperGPQA | 66.3 | 56.2 | 64.7 | 60.3 | 59.6 | 59.7 |
| MedQA | 95.1 | 88.6 | 95.0 | 94.9 | 94.9 | 94.1 |
| MedXpertQA | 48.9 | 32.2 | 49.9 | 49.3 | 48.9 | 47.5 |
| MMLU-Pro | 86.1 | 84.5 | 87.4 | 84.5 | 84.0 | 84.3 |
| Answerer | Reasoning window | Acc. (%) |
|---|---|---|
| Reasoner (forced) | Full prefix | 56.41 |
| Reasoner (forced) | Final 1k | 57.01 |
| Jev | Full prefix | 64.84 |
| Jev | Final 1k | 64.97 |
| vs. full run | vs. tuned cap | |||
|---|---|---|---|---|
| Policy | Saving | Acc | Saving (+/ ) | Acc ( ) |
| Tuned cap | 63.3 | – | – | |
| conf+stable | 68.8 | (14/9) | (3) | |
| settled+useful | 68.7 | (19/1) | (4) | |
| either | 70.8 | (20/0) | (5) | |
| auto | 71.3 | (22/0) | (5) | |
| Reader | Cut (%) | Fix (%) | Hurt (%) | Net (pp) |
|---|---|---|---|---|
| Jev | 10 | 6.2 | 3.7 | |
| 50 | 12.0 | 4.9 | ||
| 100 | 14.4 | 5.2 | ||
| Luna dec. | 10 | 8.9 | 5.3 | |
| 50 | 17.9 | 5.5 | ||
| 100 | 24.7 | 4.9 |
Appendix figures & tables19 assets
Supplementary material from the paper’s appendix.
Appendix
| Reasoner | Benchmark | Rerun | No final | Median | Finish | |
|---|---|---|---|---|---|---|
| 64k | answer | tokens | 1.5k (%) | |||
| DeepSeek V4 Pro | GPQA-D | 198 | 9 | 1 | 852 | 59 |
| SuperGPQA | 500 | 5 | 1 | 501 | 75 | |
| MedQA | 500 | 0 | 0 | 195 | 94 | |
| MedXpertQA | 500 | 1 | 0 | 725 | 67 | |
| MMLU-Pro | 500 | 3 | 0 | 172 | 86 |
| Criterion (all at unless stated) | DS V4 Pro | DS V4 Flash | MiniMax M3 | Qwen3.8 Flash | Result |
|---|---|---|---|---|---|
| 1. Reader forced on cut questions with an exact forced answer: positive in all four, CI excludes 0 in | pass | ||||
| 2. Fixed budget + reader not significantly below the full run in any cell | pass | ||||
| 3. Forced answers lose more than the reader (accuracy change vs full run, forced / reader) | / | / | / | / | pass |
| 4. Tuned cap (out of fold, ): reader saves more dollars than forced, CI excludes 0 in ; cap + reader not significantly below the full run | / | / | / | / | pass |
| 5. Completed reasoning, limit-hit traces removed: reader within 1 point of the reasoner | fail |
| Accuracy (%) | Cost (%) | ||||||
|---|---|---|---|---|---|---|---|
| Reasoner | Full | Jev | L-d | L-g | F | Jev | F |
| DeepSeek V4 Pro | 79.0 | 77.7 | 76.8 | 76.7 | 76.5 | 35.3 | 38.7 |
| Qwen3.7 Plus | 79.1 | 77.8 | 74.5 | 74.0 | 74.3 | 35.2 | 40.6 |
| MiniMax M3 | 75.8 | 74.1 | 70.1 | 70.6 | 69.3 | 27.2 | 32.2 |
| GPT-OSS 120B | 70.0 | 70.2 | 64.3 | 63.4 | 59.9 | 30.3 | 34.1 |
| GLM-5.3 Flash | 78.8 | 77.3 | 75.4 | 74.3 | 73.3 | 20.0 | 21.3 |
| GPQA-D ( ) | SuperGPQA ( ) | MedQA ( ) | MedXpertQA ( ) | |||||
| Method | Acc. | Cost | Acc. | Cost | Acc. | Cost | Acc. | Cost |
| Luna none | 64.9 | 0.087 | 53.4 | 0.071 | 91.4 | 0.059 | 42.4 | 0.066 |
| Luna low | 85.1 | 0.305 | 65.0 | 0.218 | 95.0 | 0.113 | 53.4 | 0.197 |
| Luna medium | 88.1 | 0.629 | 69.0 | 0.355 | 95.4 | 0.147 | 53.2 | 0.329 |
| Luna high | 88.1 | 1.028 | 67.1 | 0.562 | 95.6 | 0.181 | 53.0 | 0.494 |
| Reasoner + Jev, k | ||||||||
| Effort | GPQA-D | SuperGPQA | MedQA | MedX. |
|---|---|---|---|---|
| none | 123 | 89 | 66 | 69 |
| low | 559 | 384 | 176 | 331 |
| medium | 1207 | 658 | 243 | 593 |
| high | 2006 | 1071 | 311 | 924 |
| Procedure: adaptive Jev replay | |
|---|---|
| Input: retained trace, cap , window , interval , selected stopping rule. | |
| 1 | for each with do |
| 2 | Retrieve Jev’s scores from and charge the check. |
| 3 | if the stopping rule triggers then |
| 4 | Submit the current top option and terminate replay. |
| 5 | end if |
| Tuned cap | auto | Uncapped | ||||
|---|---|---|---|---|---|---|
| Benchmark | Save | Acc | Save | Acc | Acc | |
| GPQA-D | 38.6 | 87.5 | 59.6 | 85.7 | 88.3 | |
| SuperGPQA | 64.4 | 65.4 | 77.0 | 65.3 | 66.3 | |
| MedQA | 57.4 | 94.8 | 60.8 | 94.8 | 95.1 | |
| MedXpertQA | 76.5 | 49.3 | 79.6 | 48.9 | 48.9 | |
| MMLU-Pro | 79.6 | 87.1 | 79.6 | 87.1 | 86.1 | |
| Reasoner | Benchmark | Tuned cap | auto : family (thresholds), cap | Saving |
|---|---|---|---|---|
| DeepSeek V4 Pro | GPQA-D | 16k (20) | either (0.95, 0.9, 0.5), 16k (12) | |
| SuperGPQA | 1.5k (14) | s+u (0.2, 1.0), 1k (9) | ||
| MedQA | 0.5k (25) | cap, 0.5k (25) | ||
| MedXpertQA | 1k (23) | s+u (0.3, 0.7), 1k (13) | ||
| MMLU-Pro | 0.5k (25) | cap, 0.5k (25) | ||
| Qwen3.7 Plus | GPQA-D | 8k (19) | either (0.9, 0.9, 0.5), 8k (3) |
| Easy | Middle | Hard | |
|---|---|---|---|
| Full run | 69.1 | 67.7 | 61.0 |
| Forced, 1.5k | 67.5 (52.5) | 63.1 (36.6) | 45.4 (19.0) |
| Jev, 1.5k | 69.2 (48.5) | 66.9 (32.7) | 56.1 (16.3) |
| Luna-dec., 1.5k | 68.4 (49.7) | 64.4 (34.0) | 44.8 (17.2) |
| Luna-gen., 1.5k | 67.2 (49.5) | 64.2 (33.7) | 43.7 (17.0) |
| Benchmark | Model | R Acc. (%) | Jev Acc. (%) | (pp) | 95% CI (pp) | Agree (%) | Jev+ / R+ | |
|---|---|---|---|---|---|---|---|---|
| GPQA-D | DeepSeek V4 Pro | 197 | 93.4 | 93.4 | +0.0 | [0.0, 0.0] | 100.0 | 0 / 0 |
| Qwen3.7 Plus | 198 | 87.9 | 88.4 | +0.5 | [0.0, 1.5] | 98.5 | 1 / 0 | |
| MiniMax M3 | 194 | 93.3 | 93.3 | +0.0 | [-1.5, 1.5] | 99.0 | 1 / 1 | |
| GPT-OSS 120B | 194 | 77.8 | 78.9 | +1.0 | [0.0, 2.6] | 98.5 | 2 / 0 | |
| GLM-5.3 Flash | 190 | 94.2 | 94.2 | +0.0 | [0.0, 0.0] | 100.0 | 0 / 0 | |
| Qwen3.8 Flash | 189 | 91.0 | 93.1 | +2.1 * | [0.5, 4.2] | 97.9 | 4 / 0 |
| Jev forced | Jev Luna dec. | ||||
|---|---|---|---|---|---|
| Benchmark | Flagged | All | Removed | All | Removed |
| GPQA-D | 4 | 9.2 | 9.4 | 6.5 | 7.3 |
| SuperGPQA | 49 | 5.0 | 5.7 | 4.3 | 4.9 |
| MedQA | 1 | 0.9 | 0.9 | 0.1 | 0.1 |
| MedXpertQA | 66 | 2.4 | 2.9 | 0.6 | 0.7 |
| MMLU-Pro | 20 | 3.1 | 3.3 | 2.9 | 3.0 |
| Tol. | Cap | Cap with | Jev full | Jev cap |
|---|---|---|---|---|
| 0.25 | 57.6 / | 59.1 / | 33.0 / | 71.4 / |
| 0.5 | 59.7 / | 61.4 / | 35.1 / | 73.3 / |
| 1 | 63.3 / | 65.2 / | 39.6 / | 76.9 / |
| 2 | 68.7 / | 71.5 / | 48.2 / | 82.2 / |
| Exact | Offset | Jev forced | Sig. better / worse | |||
|---|---|---|---|---|---|---|
| (%) | (tok.) | All cut | Exact only | All cut | Exact only | |
| 0.5k | 93.7 | 500 | 29 / 0 | 30 / 0 | ||
| 1k | 92.7 | 668 | 25 / 0 | 21 / 0 | ||
| 1.5k | 100.0 | – | 21 / 0 | 21 / 0 | ||
| 2k | 88.4 | 631 | 18 / 0 | 18 / 0 | ||
| 4k | 82.1 | 615 | 10 / 0 | 8 / 0 | ||
| Net change (pts) | At 100% (%) | |||||
|---|---|---|---|---|---|---|
| Reader | Q-only | 10% | 50% | 100% | Fixed | Hurt |
| Jev | 66.7 | 43.1 | 7.7 | |||
| Luna dec. | 56.0 | 56.1 | 8.8 | |||
| Luna gen. | 56.5 | 55.6 | 9.1 | |||
| Subset | Cut at | Jev | Luna dec. | Luna gen. |
|---|---|---|---|---|
| All question-only answers | 10% | 13.4 | 12.8 | 14.5 |
| incorrect ( ) | 50% | 27.1 | 26.7 | 25.5 |
| 100% | 34.2 | 34.0 | 33.7 | |
| All question-only answers | 10% | 97.8 | 96.5 | 94.6 |
| correct ( ) | 50% | 96.9 | 95.7 | 95.3 |
| 100% | 96.3 | 96.2 | 96.3 |
| Saving | Jev calls | Questions (%) | Costlier | |||
|---|---|---|---|---|---|---|
| Policy | (%) | per question | Rule | Cap | Finished | than cap |
| Tuned cap | 63.3 | 0.48 | – | 48.2 | 51.8 | – |
| conf+stable | 68.8 | 1.73 | 20.0 | 40.9 | 39.1 | 9 (9) |
| settled+useful | 68.7 | 1.92 | 28.7 | 39.0 | 32.3 | 4 (1) |
| either | 70.8 | 1.69 | 30.1 | 38.0 | 31.9 | 1 (0) |
| auto | 71.3 | 1.52 | 27.3 | 37.9 | 34.7 | 0 (0) |
LLM Decision-Making
LLM decision-making studies how language models choose, act, seek information, and allocate resources under goals, uncertainty, constraints, and social pressures.
See all 230 papers