Cook2LTL: Translating Cooking Recipes to LTL Formulae using Large Language Models.
Angelos MavrogiannisChristoforos I. MavrogiannisYiannis AloimonosPublished in: ICRA (2024)
Keyphrases
- language model
- model checking
- language modeling
- temporal logic
- linear temporal logic
- linear time temporal logic
- n gram
- document retrieval
- language modelling
- speech recognition
- statistical language models
- probabilistic model
- test collection
- retrieval model
- information retrieval
- context sensitive
- vector space model
- query expansion
- smoothing methods
- document ranking
- language models for information retrieval
- relevance model
- translation model
- query terms
- pseudo relevance feedback