Plan and Budget: Effective and Efficient Test-Time Scaling on Reasoning Large Language Models - Lin, Junhong; Zeng, Xinyue; Zhu, Jie; Wang, Song; Shun, Julian; Wu, Jun; Zhou, Dawei (International Conference on Learning Representations, 2026)