An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees