Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help.
Jun WangJiaming TongKaiyuan TanYevgeniy VorobeychikYiannis KantarosPublished in: CoRR (2023)
Keyphrases
- language model
- temporal logic
- temporally extended goals
- model checking
- language modeling
- n gram
- temporally extended
- query expansion
- modal logic
- probabilistic model
- document retrieval
- linear temporal logic
- speech recognition
- language modelling
- test collection
- statistical language models
- symbolic model checking
- retrieval model
- language models for information retrieval
- computation tree logic
- information retrieval
- verification method
- ad hoc information retrieval
- context sensitive
- document ranking
- translation model
- transition systems
- pseudo relevance feedback
- heuristic search
- spoken term detection
- mazurkiewicz traces
- reactive systems
- ai planning
- vector space model
- okapi bm
- planning problems
- query terms
- temporal knowledge
- query specific
- bounded model checking
- belief revision
- language model for information retrieval