A. Wang, “LiteSearch: Efficient Tree Search with Dynamic Exploration Budget for Math Reasoning”, AAAI, vol. 39, no. 24, pp. 25318–25326, Apr. 2025.