TIC: Translate-Infer-Compile for accurate 'text to plan' using LLMs and logical intermediate representations

Open in new window