{"id":"https://openalex.org/W7162786983","doi":"https://doi.org/10.48550/arxiv.2605.30085","title":"Conformal Certification of Reasoning Trace Prefixes","display_name":"Conformal Certification of Reasoning Trace Prefixes","publication_year":2026,"publication_date":"2026-05-28","ids":{"openalex":"https://openalex.org/W7162786983","doi":"https://doi.org/10.48550/arxiv.2605.30085"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.30085","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.30085","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.2605.30085","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059261901","display_name":"Matt Y. Cheung","orcid":"https://orcid.org/0000-0002-7846-3297"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cheung, Matt Y.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135829173","display_name":"Ashok Veeraraghavan","orcid":"https://orcid.org/0000-0001-5043-7460"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Veeraraghavan, Ashok","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137324602","display_name":"Hanjie Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Hanjie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5081710525","display_name":"Guha Balakrishnan","orcid":"https://orcid.org/0000-0001-8703-1368"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Balakrishnan, Guha","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/T10181","display_name":"Natural Language Processing Techniques","score":0.37450000643730164,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.37450000643730164,"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.20190000534057617,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.08309999853372574,"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/prefix","display_name":"Prefix","score":0.9273999929428101},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6308000087738037},{"id":"https://openalex.org/keywords/suffix","display_name":"Suffix","score":0.4867999851703644},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.46860000491142273},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4325000047683716},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.289000004529953},{"id":"https://openalex.org/keywords/calibration","display_name":"Calibration","score":0.2874999940395355}],"concepts":[{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.9273999929428101},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6751000285148621},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6308000087738037},{"id":"https://openalex.org/C2779804580","wikidata":"https://www.wikidata.org/wiki/Q102047","display_name":"Suffix","level":2,"score":0.4867999851703644},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.46860000491142273},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43799999356269836},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4325000047683716},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3682999908924103},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30000001192092896},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.289000004529953},{"id":"https://openalex.org/C165838908","wikidata":"https://www.wikidata.org/wiki/Q736777","display_name":"Calibration","level":2,"score":0.2874999940395355},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.28600001335144043},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.2824000120162964},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.27300000190734863},{"id":"https://openalex.org/C161394823","wikidata":"https://www.wikidata.org/wiki/Q1121101","display_name":"Synchronicity","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.2648000121116638},{"id":"https://openalex.org/C166955791","wikidata":"https://www.wikidata.org/wiki/Q629579","display_name":"Macro","level":2,"score":0.25450000166893005}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.30085","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.30085","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.2605.30085","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.30085","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Language":[0],"model":[1],"reasoning":[2,114,155],"traces":[3],"are":[4],"rarely":[5],"all-or-nothing;":[6],"they":[7],"frequently":[8],"contain":[9],"valid":[10,153],"intermediate":[11,154],"steps":[12],"before":[13],"a":[14,38,56,70,167],"critical":[15],"error":[16],"occurs.":[17],"Existing":[18],"uncertainty":[19],"quantification":[20],"methods":[21],"typically":[22],"certify":[23],"final":[24],"answers":[25],"or":[26,93],"entire":[27],"responses,":[28],"failing":[29],"to":[30],"provide":[31],"statistical":[32],"guarantees":[33],"for":[34,60,90],"the":[35,75,87,100,104],"proportion":[36],"of":[37],"sequential":[39],"trace":[40],"that":[41,103,118],"can":[42],"be":[43,135],"safely":[44],"retained.":[45],"To":[46],"address":[47],"this,":[48],"we":[49,116],"introduce":[50],"CROP":[51,68,97,142],"(Conformal":[52],"Reasoning":[53],"Output":[54],"Prefixes),":[55],"verifier-agnostic":[57],"calibration":[58],"procedure":[59],"clean-prefix":[61],"certification.":[62],"Given":[63],"any":[64],"step-level":[65,120],"risk":[66,81],"proxy,":[67],"selects":[69],"calibrated":[71],"threshold":[72],"and":[73,145,175],"returns":[74],"longest":[76],"contiguous":[77],"prefix":[78,106,129,139,164],"whose":[79],"step":[80],"proxies":[82],"remain":[83],"below":[84],"it,":[85],"routing":[86],"uncertified":[88],"suffix":[89],"downstream":[91,148],"review":[92],"repair.":[94,176],"Assuming":[95],"exchangeability,":[96],"rigorously":[98],"controls":[99],"marginal":[101],"probability":[102],"returned":[105],"contains":[107],"an":[108],"annotated":[109],"error.":[110],"Across":[111],"six":[112],"process-labeled":[113],"datasets,":[115],"demonstrate":[117],"standard":[119],"metrics":[121],"such":[122],"as":[123,166],"AUROC":[124],"do":[125],"not":[126],"fully":[127],"capture":[128],"utility,":[130],"suggesting":[131],"verifiers":[132],"should":[133],"instead":[134],"evaluated":[136],"by":[137,151],"certified":[138],"length.":[140],"Furthermore,":[141],"balances":[143],"over-":[144],"under-withholding,":[146],"improving":[147],"repair":[149],"accuracy":[150],"preserving":[152],"while":[156],"discarding":[157],"misleading":[158],"suffixes.":[159],"Ultimately,":[160],"this":[161],"work":[162],"positions":[163],"certification":[165],"rigorous,":[168],"practical":[169],"bridge":[170],"between":[171],"process":[172],"supervision,":[173],"abstention,":[174]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-30T00:00:00"}