SatLM: Satisfiability-Aided Language Models Using Declarative Prompting.
Xi YeQiaochu ChenIsil DilligGreg DurrettPublished in: NeurIPS (2023)
Keyphrases
- language model
- language modeling
- n gram
- query expansion
- document retrieval
- retrieval model
- language modelling
- speech recognition
- probabilistic model
- information retrieval
- context sensitive
- statistical language models
- test collection
- knowledge representation
- vector space model
- relevance model
- ad hoc information retrieval
- language models for information retrieval
- language model for information retrieval
- document ranking
- term dependencies