Improving test-time search with backtrack- Ing Improving test-time search with backtrack- Ing against in-context value verifiersagainst in-context value verifiers

Test-time verifiers improve reasoning performance by guiding solution chains Inefficient searches can arise from overlapping solutions and incorrect completions The paper proposes combining process verifiers with preemptive backtracking This approach reduces computation by leveraging partial reasoning traces