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

Open in new window