Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning.
Liangming PanAlon AlbalakXinyi WangWilliam WangPublished in: EMNLP (Findings) (2023)
Keyphrases
- language model
- logical reasoning
- language modeling
- n gram
- document retrieval
- formal semantics
- probabilistic model
- speech recognition
- query expansion
- information retrieval
- language modelling
- test collection
- retrieval model
- query terms
- modal logic
- context sensitive
- relevance model
- statistical language models
- language models for information retrieval
- document ranking
- ad hoc information retrieval
- statistical language modeling
- language model for information retrieval
- hidden markov models
- translation model
- document length
- pseudo relevance feedback
- vector space model
- divergence from randomness
- knn
- database systems
- artificial intelligence