On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks.
Kaya StechlyKarthik ValmeekamSubbarao KambhampatiPublished in: CoRR (2024)
Keyphrases
- language model
- planning tasks
- language modeling
- planning systems
- speech recognition
- document retrieval
- information retrieval
- language modelling
- n gram
- probabilistic model
- query expansion
- test collection
- multi valued
- retrieval model
- smoothing methods
- planning problems
- state space
- statistical language models
- belief space
- knowledge base
- language models for information retrieval
- model checking
- query terms
- machine learning
- domain independent
- document ranking
- spoken term detection