TY  - RPRT
TI  - Can LLMs Prove Robotic Path Planning Optimality? A Benchmark for Research-Level Algorithm Verification
AU  - Zhengbang Yang
AU  - Md. Tasin Tazwar
AU  - Minghan Wei
AU  - Zhuangdi Zhu
PY  - 2026
UR  - https://arxiv.org/abs/2603.19464
ID  - 2603.19464
ER  -