Preprint Open access
Locally Sound, Globally Insufficient: The Local-Global Gap in Multi-Hop Reasoning
Reliable multi-hop reasoning requires more than locally supported steps: a trace can be sound at every reasoning step yet still fail to answer the question as a whole. We call this failure regime the local-global gap (LGG), in which the trace is locally sound yet globally insufficient. Local soundness requires each ste …