Wang, A., Song, L., Tian, Y., Peng, B., Yu, D., Mi, H., … Yu, D. (2025). LiteSearch: Efficient Tree Search with Dynamic Exploration Budget for Math Reasoning. Proceedings of the AAAI Conference on Artificial Intelligence, 39(24), 25318–25326. https://doi.org/10.1609/aaai.v39i24.34719