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