An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees. - ZhenDong Chen; ZhanShang Nie; ShiXing Wan; JunYi Li; YongTian Cheng; Shuai Zhao (CoRR, 2025)