Language Modeling for Formal Mathematics.
Markus N. RabeDennis LeeKshitij BansalChristian SzegedyPublished in: CoRR (2020)
Keyphrases
- language modeling
- language model
- information retrieval
- retrieval model
- query expansion
- probabilistic model
- n gram
- text classification
- cross lingual
- statistical language modeling
- statistical language models
- document length
- document retrieval
- metadata
- pseudo relevance feedback
- relevance model
- feature space
- keywords
- improvements in retrieval effectiveness