He, Q., Huang, Y., Cheng, Y. A., Chen, Y., & Liang, Y. (2026). Provable Test-Time Scaling for Beam Search in LLM Reasoning. https://omanscience.com/en/articles/provable-test-time-scaling-for-beam-search-in-llm-reasoning