{"id":"arxiv/2601.22790","url":"https://arxiv.org/abs/2601.22790","tags":["cs.AI","math.ST"],"score":0,"title":"Conditional Performance Guarantee for Large Reasoning Models","domain":"cs.AI","source":"arxiv","authors":["Jianguo Huang","Hao Zeng","Bingyi Jing","Hongxin Wei","Bo An"],"reviews":0,"subject":"cs.AI","summary":"Large reasoning models have shown strong performance through extended chain-of-thought reasoning, yet their computational cost remains significant. Probably approximately correct (PAC) reasoning provides statistical guarantees for efficient reasoning by adaptively switching between thinking and non-thinking models, but the guarantee holds only in the marginal case and does not provide exact conditional coverage. We propose G-PAC reasoning, a practical framework that provides PAC-style guarantees at the group level by partitioning the input space. We develop two instantiations: Group PAC…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-01-30","reactions":{}}