Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mavrogiannis, Angelos, Mavrogiannis, Christoforos, Aloimonos, Yiannis
Format:	Preprint
Published:	2023
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Discovering Object Attributes by Prompting Large Language Models with Perception-Action APIs
by: Mavrogiannis, Angelos, et al.
Published: (2024)

ReloPush-BOSS: Optimization-guided Nonmonotone Rearrangement Planning for a Car-like Robot Pusher
by: Ahn, Jeeho, et al.
Published: (2026)

Implicit Communication in Human-Robot Collaborative Transport
by: Yang, Elvin, et al.
Published: (2025)

ReloPush: Multi-object Rearrangement in Confined Spaces with a Nonholonomic Mobile Robot Pusher
by: Ahn, Jeeho, et al.
Published: (2024)

Characterizing the Complexity of Social Robot Navigation Scenarios
by: Stratton, Andrew, et al.
Published: (2024)

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
by: Sundarsingh, David Smith, et al.
Published: (2025)

DREAM: Domain-aware Reasoning for Efficient Autonomous Underwater Monitoring
by: Wu, Zhenqi, et al.
Published: (2025)

Demonstrating HOUND: A Low-cost Research Platform for High-speed Off-road Underactuated Nonholonomic Driving
by: Talia, Sidharth, et al.
Published: (2023)

How Human Motion Prediction Quality Shapes Social Robot Navigation Performance in Constrained Spaces
by: Stratton, Andrew, et al.
Published: (2026)

LTL-Transfer: Skill Transfer for Temporal Task Specification
by: Liu, Jason Xinyu, et al.
Published: (2022)

On the Uniqueness of Solution for the Bellman Equation of LTL Objectives
by: Xuan, Zetong, et al.
Published: (2024)

ROB 204: Introduction to Human-Robot Systems at the University of Michigan, Ann Arbor
by: Stirling, Leia, et al.
Published: (2024)

Shield Synthesis for LTL Modulo Theories
by: Rodriguez, Andoni, et al.
Published: (2024)

Convergence Guarantee of Dynamic Programming for LTL Surrogate Reward
by: Xuan, Zetong, et al.
Published: (2024)

Bi3: A Biplatform, Bicultural, Biperson Dataset for Social Robot Navigation
by: Stratton, Andrew, et al.
Published: (2026)

Hierarchical Sampling-based Planner with LTL Constraints and Text Prompting
by: Ge, Jingzhan, et al.
Published: (2025)

Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition
by: Bergeron, Taylor, et al.
Published: (2024)

Characterizing LTL Formulas by Examples
by: Cate, Balder ten, et al.
Published: (2026)

To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments
by: Zhao, Jianing, et al.
Published: (2022)

Boundedness and Morawetz estimates on subextremal Kerr de Sitter
by: Mavrogiannis, Georgios
Published: (2025)

Relatively non-degenerate integrated decay estimates on subextremal Kerr de Sitter
by: Mavrogiannis, Georgios
Published: (2025)

Aspects of the Einstein-Maxwell-Weyl coupling
by: Mavrogiannis, Panagiotis
Published: (2024)

Embodied Visuomotor Representation
by: Burner, Levi, et al.
Published: (2024)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
by: Zhang, Maifang, et al.
Published: (2026)

CookBench: A Long-Horizon Embodied Planning Benchmark for Complex Cooking Scenarios
by: Cai, Muzhen, et al.
Published: (2025)

Real-World Cooking Robot System from Recipes Based on Food State Recognition Using Foundation Models and PDDL
by: Kanazawa, Naoaki, et al.
Published: (2024)

Air-FAR: Fast and Adaptable Routing for Aerial Navigation in Large-scale Complex Unknown Environments
by: He, Botao, et al.
Published: (2024)

MOSAIC: Modular Foundation Models for Assistive and Interactive Cooking
by: Wang, Huaxiaoyue, et al.
Published: (2024)

Cooking Task Planning using LLM and Verified by Graph Network
by: Takebayashi, Ryunosuke, et al.
Published: (2025)

Women's involvement in thrift and credit cooperatives in selected Asian countries
by: D. Mavrogiannis (Author)
Published: (1991)

Participation des femmes aux coopératives de prévoyance et de crédit dans certains pays sélectionnés d'Asie
by: D. Mavrogiannis (Author)
Published: (1991)

Participación de la mujer en las cooperativas de ahorro y crédito de determinados países asiáticos
by: D. Mavrogiannis (Author)
Published: (1991)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
by: Ren, Jiming, et al.
Published: (2024)

ChatSim: Underwater Simulation with Natural Language Prompting
by: Palnitkar, Aadi, et al.
Published: (2023)

Artificial Microsaccade Compensation: Stable Vision for an Ornithopter
by: Burner, Levi, et al.
Published: (2025)

ViewActive: Active viewpoint optimization from a single image
by: Wu, Jiayi, et al.
Published: (2024)

EREBUS: End-to-end Robust Event Based Underwater Simulation
by: Kyatham, Hitesh, et al.
Published: (2025)

Parabolic cylinder functions revisited using the Laplace transform
by: Costin, Rodica D., et al.
Published: (2024)

NAMO-LLM: Efficient Navigation Among Movable Obstacles with Large Language Model Guidance
by: Zhang, Yuqing, et al.
Published: (2025)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
by: Kontinen, Juha, et al.
Published: (2024)