Autoformalization with Large Language Models.
Yuhuai WuAlbert Qiaochu JiangWenda LiMarkus N. RabeCharles StaatsMateja JamnikChristian SzegedyPublished in: NeurIPS (2022)
Keyphrases
- language model
- language modeling
- n gram
- probabilistic model
- document retrieval
- language modelling
- speech recognition
- retrieval model
- information retrieval
- test collection
- context sensitive
- statistical language models
- query expansion
- query terms
- smoothing methods
- translation model
- word error rate
- ad hoc information retrieval
- language models for information retrieval
- retrieval effectiveness
- vector space model
- passage retrieval
- bayesian networks
- language model for information retrieval
- machine learning
- document ranking