Value-Guided Search for Efficient Chain-of-Thought Reasoning - Wang, Kaiwen; Zhou, Jin; Chang, Jonathan; Gao, Zhaolin; Kallus, Nathan; Brantley, Kianté; Sun, Wen (Advances in Neural Information Processing Systems, 2025)