TY - RPRT TI - An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees AU - ZhenDong Chen AU - ZhanShang Nie AU - ShiXing Wan AU - JunYi Li AU - YongTian Cheng AU - Shuai Zhao PY - 2025 UR - https://arxiv.org/abs/2508.19074 ID - 2508.19074 ER -