ROM: Real-time Overthinking Mitigation via Streaming Detection and Intervention
Organizations: University of Wisconsin–Madison · Johns Hopkins University
Abstract
Large Reasoning Models (LRMs) often reach a correct solution before their long Chain-of-Thought trace ends, yet continue with redundant verification, repeated attempts, or unnecessary exploration that wastes computation and can even overturn the correct answer. We frame this behavior as a latent productive-to-redundant transition and show it is directly reflected in hidden states: around first-correct-solution (FCS) boundaries, late-layer representations separate efficient from overthinking tokens, while boundary-permutation and position controls collapse. We propose ROM, a streaming intervention framework that monitors a frozen LRM with a lightweight hidden-state detector (0.1% of backbone parameters) and intervenes at well-formed reasoning boundaries; Counterfactual Self-Correction (CSC) balances supervision with wrongcorrect trajectories, preserving useful pre-FCS self-correction. Unlike prior adaptive early-exit methods, ROM extracts no intermediate answers, launches no probe decoding, and updates no backbone weights. Across five backbones from three model families and five reasoning benchmarks, against ten recent baselines under a shared protocol, ROM attains the highest accuracy in 19 of 25 model--benchmark settings, cuts response length by 28--77% (mean 45%) versus vanilla decoding, and is the only method on the accuracy--length Pareto front in every setting. The same MATH500-trained supervision transfers zero-shot across scales, families, and task domains, and end-to-end wall-clock latency drops by 46.5% with 5% per-token overhead. Code is available at https://github.com/SaFo-Lab/ROM.
Figures & tables
| Math | Science | |||||
| Method | MATH500 | GSM8K | AIME25 | GPQA-D | MMLU-Pro | Overall |
| Qwen3-8B | ||||||
| Vanilla | 90.3 4.2 / 4,569 | 98.9 0.6 / 1,969 | 27.0 14.3 / 6,258 | 37.9 5.8 / 5,791 | 76.7 8.6 / 2,784 | 66.15 / 4,274 |
| EAT ( Wang et al., 2025 ) | 83.3 7.0 / 2,088 | 96.3 0.8 / 1,563 | 26.0 13.2 / 3,874 | 38.9 5.3 / 4,712 | 76.7 8.8 / 2,052 | 64.23 / 2,858 |
| RCPD ( Wei et al., 2026 ) | 90.3 4.2 / 4,586 | 95.0 0.9 / 918 | 27.0 14.5 / 6,265 | 36.7 5.7 / 5,900 | 75.7 8.8 / 2,647 | 64.95 / 4,063 |
| RPDM ( Guan et al., 2026 ) | 90.0 4.2 / 4,519 | 98.8 0.6 / 1,943 | 27.0 14.2 / 6,149 | 37.5 5.8 / 6,137 | 76.2 8.6 / 2,751 | 65.91 / 4,300 |
| Method | Ans. | Reason. | Resp. | Stop signal |
| Case 1: confidently wrong (gold D) | ||||
| EAT | I ✗ | 1,570 | 2,194 | exit, |
| ROM | D ✓ | 906 | 1,641 | cut at 886 |
| Case 2: correct but uncertain (gold F) | ||||
| EAT | J ✗ | 6,802 | 7,734 | no exit, |
| ROM | F ✓ | 2,898 | 3,938 | cut at 2,878 |
| Configuration | Acc (%) | SL | |
| Vanilla (no cut) | 90.3 | 4569 | |
| ROM (L32, , +BT) | 90.7 | 2412 | |
| Detector | linear head | 90.0 | 4105 |
| conf. MA ( ) | 70.0 | 1105 | |
| conf. MA ( ) | 67.7 | 0 944 | |
| Control | w/o backtracing | 89.7 | 2573 |
| Accuracy (%) | Output tokens | |||
|---|---|---|---|---|
| Setting | Base | ROM | Base | ROM |
| MMLU-Pro, open-ended | 80.21 | 81.77 | 2,457 | 1,587 |
| L1-Max, MATH500 | 90.83 | 90.83 | 2,684 | 2,105 |
Appendix figures & tables5 assets
Supplementary material from the paper’s appendix.
Appendix
| Math | Science | |||||
| Method | MATH500 | GSM8K | AIME25 | GPQA-D | MMLU-Pro | Overall |
| Qwen3-8B | ||||||
| Vanilla | 90.3 4.2 / 4,569 484 | 98.9 0.6 / 1,969 60 | 27.0 14.3 / 6,258 550 | 37.9 5.8 / 5,791 212 | 76.7 8.6 / 2,784 449 | 66.15 / 4,274 |
| EAT ( Wang et al., 2025 ) | 83.3 7.0 / 2,088 94 | 96.3 0.8 / 1,563 28 | 26.0 13.2 / 3,874 178 | 38.9 5.3 / 4,712 126 | 76.7 8.8 / 2,052 331 | 64.23 / 2,858 |
| RCPD ( Wei et al., 2026 ) | 90.3 4.2 / 4,586 498 | 95.0 0.9 / 918 50 | 27.0 14.5 / 6,265 550 | 36.7 5.7 / 5,900 256 | 75.7 8.8 / 2,647 456 | 64.95 / 4,063 |
| RPDM ( Guan et al., 2026 ) | 90.0 4.2 / 4,519 484 | 98.8 0.6 / 1,943 57 | 27.0 14.2 / 6,149 526 | 37.5 5.8 / 6,137 213 | 76.2 8.6 / 2,751 428 | 65.91 / 4,300 |
| Method family | Frozen backbone | Token level | Extraction free | Transition supervised |
|---|---|---|---|---|
| Length retraining: L1, O1-Pruner | ✗ | ✗ | ✓ | ✗ |
| Answer-defined triggers: Dynasor, DEER, PUMA-RD, PMA, RP | ✓ | ✗ | ✗ | ✗ |
| Surface heuristics (step level): EAT, REFRAIN | ✓ | ✗ | ✓ | ✗ |
| Surface heuristics (token level): SyncThink, RCPD, RPDM, NEAT | ✓ | ✓ | ✓ | ✗ |
| Answer-arrival head: TERMINATOR | ✓ | ✓ | ✓ | ✗ |
| Latent-boundary head: ROM (ours) | ✓ | ✓ | ✓ | ✓ |
| ROM Correct | ROM Wrong | |
|---|---|---|
| Vanilla Correct | 156 (74.3%) | 5 (2.4%) |
| Vanilla Wrong | 10 (4.8%) | 39 (18.6%) |