Wang, Ante, Linfeng Song, Ye Tian, Baolin Peng, Dian Yu, Haitao Mi, Jinsong Su, and Dong Yu. “LiteSearch: Efficient Tree Search With Dynamic Exploration Budget for Math Reasoning”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 24 (April 11, 2025): 25318–25326. Accessed May 7, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/34719.