Wang, A.; Song, L.; Tian, Y.; Peng, B.; Yu, D.; Mi, H.; Su, J.; Yu, D. LiteSearch: Efficient Tree Search With Dynamic Exploration Budget for Math Reasoning. AAAI 2025, 39, 25318-25326.