Lemur: Integrating Large Language Models in Automated Program Verification.
Haoze WuClark W. BarrettNina NarodytskaPublished in: CoRR (2023)
Keyphrases
- language model
- language modeling
- language modelling
- context sensitive
- n gram
- probabilistic model
- document retrieval
- information retrieval
- speech recognition
- retrieval model
- test collection
- statistical language models
- smoothing methods
- query expansion
- query terms
- ad hoc information retrieval
- language models for information retrieval
- pseudo relevance feedback
- machine learning
- word error rate
- translation model
- language model for information retrieval
- okapi bm
- pseudo feedback
- document length
- word segmentation
- relevance model
- vector space model
- information extraction
- retrieval effectiveness
- text retrieval