Generate multiple candidate reasoning branches, evaluate them with an explicit criterion, and expand promising branches under a bounded search budget.
