CORE: Conflict-Oriented Reasoning Elimination for Verifiable Language-Model Search

Siyu Song, Rui Xu, Jia Lin +2

Test-time reasoning systems often respond to failure by restarting or revising the latest step, even when an earlier decision caused the error. We introduce CORE, a search controll…