Baldur: Whole-Proof Generation and Repair with Large Language Models.
Emily FirstMarkus N. RabeTalia RingerYuriy BrunPublished in: CoRR (2023)
Keyphrases
- language model
- language modeling
- probabilistic model
- n gram
- query expansion
- language modelling
- document retrieval
- information retrieval
- speech recognition
- retrieval model
- test collection
- context sensitive
- statistical language models
- ad hoc information retrieval
- vector space model
- pseudo relevance feedback
- smoothing methods
- language model for information retrieval
- pseudo feedback
- document ranking
- translation model
- document length
- relevance model
- query terms
- decision trees