Getting More out of Large Language Models for Proofs.
Shizhuo Dylan ZhangTalia RingerEmily FirstPublished in: CoRR (2023)
Keyphrases
- language model
- language modeling
- document retrieval
- retrieval model
- query expansion
- n gram
- probabilistic model
- test collection
- speech recognition
- language modelling
- context sensitive
- information retrieval
- language models for information retrieval
- query terms
- statistical language models
- translation model
- ad hoc information retrieval
- word error rate
- spoken term detection
- document length
- query specific
- vector space model
- relevance model
- okapi bm
- statistical language modeling
- cross lingual
- retrieval effectiveness