{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/arxiv-2605-17672","title":"Stop When Reasoning Converges: Semantic-Preserving Early Exit for Reasoning Models","arxiv_id":"2605.17672","date":"2026-05-17","proceeding":null,"authors":["Dehai Min","Giovanni Vaccarino","Huiyi Chen","Yongliang Wu","Gal Yona","Lu Cheng"],"abstract":"Large Reasoning Models (LRMs) achieve strong performance by generating long chains of thought (CoT), but often overthink, continuing to reason after a solution has already stabilized and thereby wasting tokens and increasing latency. Existing inference-time early-exit methods rely primarily on answer-level signals, such as confidence or trial-answer consistency, to decide when to stop. However, these signals mainly reflect answer readiness rather than reasoning convergence: they may trigger before the model has finished exploring or self-correcting, causing premature exits that can degrade final-answer accuracy and leave the retained reasoning chain semantically incomplete. We identify reasoning-level semantic redundancy as a complementary signal for semantic-preserving early exit: when successive steps no longer add novel progress and instead revisit established conclusions, the reasoning trajectory has likely converged. Building on this insight, we propose PUMA, a plug-and-play framework that combines a lightweight Redundancy Detector with answer-level verification. The detector flags semantically redundant candidate exits, while verification confirms whether stopping is safe, allowing PUMA to remove redundant continuation while preserving both answer accuracy and a coherent reasoning prefix. Across five LRMs and five challenging reasoning benchmarks, PUMA achieves 26.2% average token reduction while preserving accuracy and retained CoT quality. Additional experiments on code generation, zero-shot vision-language reasoning, and learned stopping-policy internalization further demonstrate that reasoning-level redundancy is a robust, transferable, and learnable signal for efficient reasoning. Our code is available at \\url{https://github.com/giovanni-vaccarino/PUMA}.","url_abs":"https://arxiv.org/abs/2605.17672","url_pdf":"https://arxiv.org/pdf/2605.17672","source":{"archive":null,"snapshot":"2025-07-28","note":"not in the Papers with Code archive (frozen at the snapshot)","row_kind":"graph","title_abstract_authors_date":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license)"},"code_links":[],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=2605.17672","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2605.17672"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-24T18:15:14+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"mentioned_in_github":null,"is_official":null,"provenance":"deterministic:regex_extraction","mentioned_in_paper":null,"url":"https://github.com/giovanni-vaccarino/PUMA","reach":null}],"summary":{"ran_draft_wrong":4,"ran_violates":1},"by_repo_kind":{"found_in_text":{"samples":5,"ran":5,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":5,"samples":[{"code_sha256_prefix":"b6b602a26e14b8b1","entry":"consecutive_same_answer_and_conf_delta_method","repo":"giovanni-vaccarino/PUMA","repo_kind":"found_in_text","path":"puma/extract_final_candidates.py","file_url":"https://github.com/giovanni-vaccarino/PUMA/blob/HEAD/puma/extract_final_candidates.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"b6b602a26e14b8b1"}},{"code_sha256_prefix":"000a843cb1f68ddb","entry":"extract_answer","repo":"giovanni-vaccarino/PUMA","repo_kind":"found_in_text","path":"puma/extract_final_candidates.py","file_url":"https://github.com/giovanni-vaccarino/PUMA/blob/HEAD/puma/extract_final_candidates.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"000a843cb1f68ddb"}},{"code_sha256_prefix":"d534cfac750249cf","entry":"extract_boxed_answer","repo":"giovanni-vaccarino/PUMA","repo_kind":"found_in_text","path":"puma/extract_final_candidates.py","file_url":"https://github.com/giovanni-vaccarino/PUMA/blob/HEAD/puma/extract_final_candidates.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"d534cfac750249cf"}},{"code_sha256_prefix":"a94635af2551e7bc","entry":"fuzzy_code_match","repo":"giovanni-vaccarino/PUMA","repo_kind":"found_in_text","path":"puma/extract_final_candidates.py","file_url":"https://github.com/giovanni-vaccarino/PUMA/blob/HEAD/puma/extract_final_candidates.py","link_basis":"first_harvest_node","language":"python","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"a94635af2551e7bc"}},{"code_sha256_prefix":"c0d07456d0c50f0b","entry":"normalize_code","repo":"giovanni-vaccarino/PUMA","repo_kind":"found_in_text","path":"puma/extract_final_candidates.py","file_url":"https://github.com/giovanni-vaccarino/PUMA/blob/HEAD/puma/extract_final_candidates.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"c0d07456d0c50f0b"}}]},"arxiv_metadata":{"licence":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license)","fields":["title","abstract","authors","date"],"primary_category":"cs.CL","source":"arxiv_2026.jsonl"},"syntology_extracted_results":null}