Can Large Language Models Reason about Program Invariants?
Kexin PeiDavid BieberKensen ShiCharles SuttonPengcheng YinPublished in: ICML (2023)
Keyphrases
- language model
- language modeling
- document retrieval
- language modelling
- probabilistic model
- n gram
- information retrieval
- speech recognition
- query expansion
- retrieval model
- statistical language models
- test collection
- document ranking
- language models for information retrieval
- ad hoc information retrieval
- context sensitive
- translation model
- language model for information retrieval
- document length
- smoothing methods
- query terms
- expert search
- word error rate
- ad hoc retrieval
- knn
- retrieval effectiveness