Cook2LTL: Translating Cooking Recipes to LTL Formulae using Large Language Models

Open in new window