Using large language models for translating natural language task descriptions to formal task specifications improves task success rates in complex environments.
LLMs are used to translate natural language task descriptions into formal task specifications, improving task success rates in complex environments.