Model explores reasoning as a search tree. Multiple branches per step. Uses search algorithms: Beam Search Variable Search