{"id":"https://openalex.org/W7161122319","doi":"https://doi.org/10.48550/arxiv.2605.12519","title":"Correct Answers from Sound Reasoning: Verifiable Process Supervision for Language Models","display_name":"Correct Answers from Sound Reasoning: Verifiable Process Supervision for Language Models","publication_year":2026,"publication_date":"2026-04-03","ids":{"openalex":"https://openalex.org/W7161122319","doi":"https://doi.org/10.48550/arxiv.2605.12519"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.12519","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.12519","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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.2605.12519","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136145072","display_name":"Kyuyoung Kim","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kim, Kyuyoung","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136136743","display_name":"Kevin I-Kai Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Kevin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136156189","display_name":"Yunfei Xie","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xie, Yunfei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136134380","display_name":"Peiyang Xu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Peiyang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024924594","display_name":"Peiyao Sheng","orcid":"https://orcid.org/0009-0009-5016-4592"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sheng, Peiyao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136132152","display_name":"Chen Wei","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wei, Chen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136163388","display_name":"Zhangyang Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Zhangyang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136106459","display_name":"Jinwoo Shin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shin, Jinwoo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053980484","display_name":"Pramod Viswanath","orcid":"https://orcid.org/0000-0003-3171-8667"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Viswanath, Pramod","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136160122","display_name":"Sewoong Oh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Oh, Sewoong","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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.251800000667572,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.251800000667572,"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/T10028","display_name":"Topic Modeling","score":0.23729999363422394,"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/T11636","display_name":"Artificial Intelligence in Healthcare and Education","score":0.05389999970793724,"subfield":{"id":"https://openalex.org/subfields/2718","display_name":"Health Informatics"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.8375999927520752},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.593999981880188},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.541700005531311},{"id":"https://openalex.org/keywords/weighting","display_name":"Weighting","score":0.4902999997138977},{"id":"https://openalex.org/keywords/language-model","display_name":"Language model","score":0.48010000586509705},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.45680001378059387},{"id":"https://openalex.org/keywords/testbed","display_name":"Testbed","score":0.400299996137619}],"concepts":[{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.8375999927520752},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7962999939918518},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.593999981880188},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5541999936103821},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.541700005531311},{"id":"https://openalex.org/C183115368","wikidata":"https://www.wikidata.org/wiki/Q856577","display_name":"Weighting","level":2,"score":0.4902999997138977},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.48010000586509705},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.45680001378059387},{"id":"https://openalex.org/C31395832","wikidata":"https://www.wikidata.org/wiki/Q1318674","display_name":"Testbed","level":2,"score":0.400299996137619},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.39169999957084656},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.37630000710487366},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.373199999332428},{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.3046000003814697},{"id":"https://openalex.org/C20162079","wikidata":"https://www.wikidata.org/wiki/Q1151406","display_name":"Case-based reasoning","level":2,"score":0.30140000581741333},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.2700999975204468},{"id":"https://openalex.org/C2776230583","wikidata":"https://www.wikidata.org/wiki/Q1322198","display_name":"Spoken language","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.251800000667572}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.12519","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.12519","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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.2605.12519","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.12519","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Training":[0],"language":[1,223],"models":[2,224],"to":[3,28,72,90,153,161,178,183,209,225],"produce":[4],"both":[5,227],"correct":[6],"answers":[7],"and":[8,64,155,180,229],"sound":[9,214],"reasoning":[10,37,65,76,100,128,146,171],"remains":[11],"an":[12,116],"open":[13],"challenge.":[14],"Reinforcement":[15],"learning":[16],"with":[17,110],"verifiable":[18,49,57,232],"rewards":[19],"typically":[20],"optimizes":[21,61],"only":[22],"final":[23],"outcomes,":[24],"which":[25],"can":[26,130],"lead":[27],"a":[29,53,74,124,203],"failure":[30],"mode":[31],"where":[32,127],"task":[33],"accuracy":[34,63,167],"improves":[35,140],"while":[36,168],"becomes":[38],"less":[39,41],"accurate,":[40],"complete,":[42],"or":[43],"even":[44],"internally":[45],"inconsistent.":[46],"We":[47,67,119],"propose":[48],"process":[50],"supervision":[51],"(VPS),":[52],"post-training":[54],"framework":[55],"for":[56],"domains":[58],"that":[59,84,107,220],"jointly":[60],"prediction":[62],"quality.":[66],"first":[68],"apply":[69],"supervised":[70],"fine-tuning":[71],"induce":[73],"structured":[75,204],"format,":[77],"enabling":[78],"syntactic":[79],"extraction":[80],"of":[81,99],"intermediate":[82],"claims":[83],"are":[85],"evaluated":[86],"against":[87,134],"ground-truth":[88],"signals":[89],"form":[91],"process-level":[92],"rewards.":[93],"To":[94],"address":[95],"the":[96,111,193],"heterogeneous":[97],"difficulty":[98],"subtasks,":[101],"we":[102],"introduce":[103],"adaptive":[104],"reward":[105],"weighting":[106],"prioritizes":[108],"components":[109],"largest":[112],"remaining":[113],"errors,":[114],"creating":[115],"implicit":[117],"curriculum.":[118],"evaluate":[120],"VPS":[121,165,221],"on":[122],"chess,":[123],"controlled":[125],"testbed":[126],"steps":[129],"be":[131],"deterministically":[132],"verified":[133],"engine":[135],"signals.":[136],"While":[137],"accuracy-only":[138,206],"RL":[139,207],"move":[141],"accuracy,":[142,188],"it":[143],"sharply":[144],"degrades":[145],"quality,":[147,172],"increasing":[148],"win-rate":[149,174],"error":[150,175],"by":[151,159,176],"up":[152,160,177],"112%":[154],"reducing":[156,173],"internal":[157],"consistency":[158,182],"69%.":[162],"In":[163],"contrast,":[164],"preserves":[166],"significantly":[169],"improving":[170],"30%":[179],"restoring":[181],"near":[184],"saturation.":[185],"At":[186],"matched":[187],"judge":[189],"evaluation":[190],"also":[191],"prefers":[192],"process-supervised":[194],"models.":[195],"A":[196],"reasoning-space":[197],"analysis":[198],"further":[199],"shows":[200],"that,":[201],"without":[202],"prior,":[205],"converges":[208],"budget-dependent":[210],"shortcuts":[211],"rather":[212],"than":[213],"multi-step":[215],"reasoning.":[216],"These":[217],"results":[218],"show":[219],"enables":[222],"reason":[226],"accurately":[228],"reliably":[230],"in":[231],"domains.":[233]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-15T00:00:00"}