Baldur: Whole-Proof Generation and Repair with Large Language Models.
Emily FirstMarkus N. RabeTalia RingerYuriy BrunPublished in: ESEC/SIGSOFT FSE (2023)
Keyphrases
- language model
- language modeling
- n gram
- speech recognition
- probabilistic model
- document retrieval
- retrieval model
- language modelling
- information retrieval
- test collection
- context sensitive
- statistical language models
- language models for information retrieval
- smoothing methods
- ad hoc information retrieval
- query terms
- relevance model
- language model for information retrieval
- term dependencies
- document ranking
- pseudo relevance feedback
- translation model
- word error rate
- okapi bm
- web documents
- query expansion
- image retrieval