@misc{indiciae47b4478c2d89, title = {An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees}, author = {ZhenDong Chen and ZhanShang Nie and ShiXing Wan and JunYi Li and YongTian Cheng and Shuai Zhao}, year = {2025}, url = {https://arxiv.org/abs/2508.19074}, note = {Source identifier: 2508.19074} }