Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning.
Liangming PanAlon AlbalakXinyi WangWilliam Yang WangPublished in: CoRR (2023)
Keyphrases
- language model
- logical reasoning
- language modeling
- n gram
- formal semantics
- probabilistic model
- document retrieval
- retrieval model
- information retrieval
- query expansion
- language modelling
- speech recognition
- ad hoc information retrieval
- statistical language models
- test collection
- vector space model
- smoothing methods
- pseudo relevance feedback
- relevance model
- document ranking
- modal logic
- document length
- context sensitive
- translation model
- cross lingual