{"id":"https://openalex.org/W7165397990","doi":"https://doi.org/10.48550/arxiv.2606.19808","title":"Think Again or Think Longer? Selective Verification for Budget-Aware Reasoning","display_name":"Think Again or Think Longer? Selective Verification for Budget-Aware Reasoning","publication_year":2026,"publication_date":"2026-06-18","ids":{"openalex":"https://openalex.org/W7165397990","doi":"https://doi.org/10.48550/arxiv.2606.19808"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.19808","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.19808","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.19808","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5099380961","display_name":"Sajib Acharjee Dip","orcid":"https://orcid.org/0009-0007-0959-2638"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dip, Sajib Acharjee","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139001989","display_name":"Dawei Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Dawei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139007134","display_name":"Liqing Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Liqing","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.11400000005960464,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.11400000005960464,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.11159999668598175,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.09749999642372131,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6146000027656555},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.5403000116348267},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5340999960899353},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.42800000309944153},{"id":"https://openalex.org/keywords/transfer","display_name":"Transfer (computing)","score":0.4074000120162964},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.3314000070095062}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6740000247955322},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6146000027656555},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.5403000116348267},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5340999960899353},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.42800000309944153},{"id":"https://openalex.org/C2776175482","wikidata":"https://www.wikidata.org/wiki/Q1195816","display_name":"Transfer (computing)","level":2,"score":0.4074000120162964},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.3314000070095062},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3174000084400177},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.29760000109672546},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2759999930858612},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.2547000050544739}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.19808","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.19808","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.19808","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.19808","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Test-time":[0],"reasoning":[1,12],"is":[2,13,131],"increasingly":[3],"used":[4],"as":[5,35],"a":[6,36,42,53,61,71,170],"serving-time":[7],"control":[8,220],"knob,":[9],"but":[10,133],"extra":[11],"not":[14,134],"uniformly":[15],"valuable:":[16],"it":[17],"can":[18],"repair":[19],"failed":[20],"attempts,":[21],"waste":[22],"compute":[23],"on":[24],"already-correct":[25],"answers,":[26],"or":[27,66,218],"introduce":[28,46],"harmful":[29,107],"answer":[30,65],"changes.":[31],"We":[32,45],"study":[33],"this":[34],"deployment":[37,200],"allocation":[38],"problem":[39],"rather":[40],"than":[41],"new-verifier":[43],"problem.":[44],"\\sevra,":[47],"Selective":[48],"Verification":[49],"for":[50,97],"Reasoning":[51],"Allocation,":[52],"serving-layer":[54],"controller":[55],"that":[56,128],"decides":[57],"whether":[58],"to":[59,111,143,157,166],"preserve":[60],"frozen":[62,72,141],"solver's":[63],"initial":[64,116,172,205],"invoke":[67],"active":[68],"verification.":[69],"Using":[70],"Qwen3-4B":[73],"solver,":[74],"we":[75],"log":[76],"intervention":[77],"outcomes":[78],"and":[79,106,159],"train":[80],"recoverability-aware":[81],"gates":[82],"from":[83,109,155],"serving-visible":[84],"attempt":[85],"state.":[86],"On":[87,181],"\\mathfive,":[88],"selective":[89,129,146,210],"verification":[90,161,184],"reaches":[91,118],"76.3\\%":[92],"accuracy,":[93],"compared":[94],"with":[95,121,177],"75.5\\%":[96],"always":[98,167],"verifying,":[99],"while":[100,186],"reducing":[101],"post-generation":[102],"tokens":[103,162],"by":[104,163],"26.8\\%":[105],"flips":[108],"2.2\\%":[110],"1.0\\%.":[112],"However,":[113],"an":[114],"8,192-token":[115],"solve":[117,173],"76.0\\%":[119],"accuracy":[120,154,176,189],"28\\%":[122],"fewer":[123,178],"total":[124],"model":[125],"tokens,":[126],"showing":[127],"recovery":[130,211],"useful":[132],"the":[135,145,194,204],"best":[136],"tested":[137],"cost":[138],"frontier.":[139],"In":[140],"transfer":[142],"\\gsm,":[144],"policy":[147],"verifies":[148],"only":[149],"3.0\\%":[150],"of":[151],"examples,":[152],"improves":[153,188],"93.4\\%":[156],"94.5\\%,":[158],"reduces":[160],"91.2\\%":[164],"relative":[165],"verifying;":[168],"again,":[169],"longer":[171],"matches":[174],"its":[175],"realized":[179,195],"tokens.":[180],"CommonsenseQA,":[182],"always-on":[183],"hurts,":[185],"Self-Consistency@5":[187],"at":[190],"about":[191],"five":[192],"times":[193],"token":[196],"cost.":[197],"The":[198],"resulting":[199],"rule":[201],"is:":[202],"tune":[203],"budget":[206],"first,":[207],"then":[208],"use":[209],"when":[212],"explicit":[213],"checks,":[214],"bounded":[215],"retries,":[216],"auditability,":[217],"regression-risk":[219],"matter.":[221]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-20T00:00:00"}