Conformal Certification of Reasoning Trace Prefixes.

arXiv:2605.30085v2 Announce Type: replace Abstract: Language model reasoning traces are rarely all-or-nothing; they frequently contain valid intermediate steps before a critical error occurs. Existing uncertainty quantification methods typically certify final