Compute-Optimal
Achieving the best accuracy for a given computational budget.
Achieving the best accuracy for a given computational budget. rStar-Math optimizes for this by choosing MCTS search (more efficient than random sampling) and using automatic verification (faster than human annotation).