Cook2LTL: Translating Cooking Recipes to LTL Formulae using Large Language Models.
Angelos MavrogiannisChristoforos I. MavrogiannisYiannis AloimonosPublished in: CoRR (2023)
Keyphrases
- language model
- model checking
- linear temporal logic
- language modeling
- temporal logic
- n gram
- document retrieval
- probabilistic model
- linear time temporal logic
- language modelling
- query expansion
- retrieval model
- statistical language models
- information retrieval
- speech recognition
- smoothing methods
- language models for information retrieval
- vector space model
- document ranking
- pseudo relevance feedback
- test collection
- relevance model
- ad hoc information retrieval
- term dependencies
- word error rate
- context sensitive
- visual features
- recommender systems