Towards a Mathematics Formalisation Assistant using Large Language Models.
Ayush AgrawalSiddhartha GadgilNavin GoyalAshvni NarayananAnand TadipatriPublished in: CoRR (2022)
Keyphrases
- language model
- language modeling
- document retrieval
- retrieval model
- n gram
- probabilistic model
- language modelling
- speech recognition
- information retrieval
- query expansion
- smoothing methods
- test collection
- statistical language models
- translation model
- document ranking
- context sensitive
- vector space model
- word error rate
- query terms
- pseudo relevance feedback
- cross lingual
- ad hoc information retrieval
- language models for information retrieval
- language modeling approaches
- okapi bm
- term dependencies
- keywords