Autoformalization with Large Language Models.
Yuhuai WuAlbert Q. JiangWenda LiMarkus N. RabeCharles StaatsMateja JamnikChristian SzegedyPublished in: CoRR (2022)
Keyphrases
- language model
- language modeling
- n gram
- probabilistic model
- document retrieval
- speech recognition
- information retrieval
- query expansion
- language modelling
- retrieval model
- test collection
- context sensitive
- pseudo relevance feedback
- ad hoc information retrieval
- language model for information retrieval
- language models for information retrieval
- statistical language models
- vector space model
- document ranking
- smoothing methods
- relevance model
- query terms
- error rate
- term dependencies
- passage retrieval
- document length
- word error rate