Large Language Models Can Plan Your Travels Rigorously with Formal Verification Tools.
Yilun HaoYongchao ChenYang ZhangChuchu FanPublished in: CoRR (2024)
Keyphrases
- language model
- formal verification
- language modeling
- model checking
- n gram
- document retrieval
- probabilistic model
- speech recognition
- query expansion
- test collection
- statistical language models
- bounded model checking
- model checker
- retrieval model
- language modelling
- smoothing methods
- automated verification
- information retrieval
- context sensitive
- ad hoc information retrieval
- document ranking
- symbolic model checking
- language models for information retrieval
- term dependencies
- relevance model
- planning domains
- query terms
- query specific
- translation model
- vector space model
- temporal logic
- text mining