Recent research suggests that tree search algorithms (eg Monte Carlo Tree Search) can
dramatically boost LLM performance on complex mathematical reasoning tasks. However …