Wang, Ante, Linfeng Song, Ye Tian, Baolin Peng, Dian Yu, Haitao Mi, Jinsong Su, and Dong Yu. 2025. “LiteSearch: Efficient Tree Search With Dynamic Exploration Budget for Math Reasoning”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (24):25318-26. https://doi.org/10.1609/aaai.v39i24.34719.