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

結合料理領域知識と時間的豊かさを捉える形式論理により、明確でロボット実行可能な計画を抽出する。