Inference-Time Conformal Reasoning with Valid Factuality Control for Large Language Models

Ting Wang, Yuanjie Shi, Yan Yan +1

Large language models (LLMs) increasingly perform multi-step reasoning, where intermediate claims form implicit directed acyclic graphs whose node correctness is structurally condi…