Search, Fail, Recover: A Training Framework for Correction-Aware Reasoning

Dmitry Beresnev, Vladimir Makharev, Roman Khalikov +2

Many reasoning tasks are not well described by a single left-to-right chain: a solver may need to pursue a plausible branch, observe delayed failure, and return to the latest prefi…