Wang A, Song L, Tian Y, Peng B, Yu D, Mi H, et al. LiteSearch: Efficient Tree Search with Dynamic Exploration Budget for Math Reasoning. AAAI [Internet]. 2025 Apr. 11 [cited 2026 May 7];39(24):25318-26. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/34719