A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning.
Ruixin HongHongming ZhangXinyu PangDong YuChangshui ZhangPublished in: NAACL-HLT (2024)
Keyphrases
- language model
- logical reasoning
- language modeling
- formal semantics
- n gram
- document retrieval
- information retrieval
- probabilistic model
- query expansion
- speech recognition
- statistical language models
- retrieval model
- language modelling
- language models for information retrieval
- relevance model
- vector space model
- context sensitive
- smoothing methods
- test collection
- ad hoc information retrieval
- pseudo relevance feedback
- document ranking
- query terms
- translation model
- word error rate
- web search
- hidden markov models