APA (7th ed.) Citation

Yang, Z., Tazwar, M. T., Wei, M., & Zhu, Z. (2026). Can LLMs Prove Robotic Path Planning Optimality? A Benchmark for Research-Level Algorithm Verification.

Chicago Style (17th ed.) Citation

Yang, Zhengbang, Md. Tasin Tazwar, Minghan Wei, and Zhuangdi Zhu. Can LLMs Prove Robotic Path Planning Optimality? A Benchmark for Research-Level Algorithm Verification. 2026.

MLA (9th ed.) Citation

Yang, Zhengbang, et al. Can LLMs Prove Robotic Path Planning Optimality? A Benchmark for Research-Level Algorithm Verification. 2026.