NaturalProver: Grounded Mathematical Proof Generation with Language Models.
Sean WelleckJiacheng LiuXiming LuHannaneh HajishirziYejin ChoiPublished in: NeurIPS (2022)
Keyphrases
- language model
- language modeling
- information retrieval
- n gram
- speech recognition
- statistical language models
- language modelling
- document retrieval
- probabilistic model
- retrieval model
- query expansion
- context sensitive
- test collection
- ad hoc information retrieval
- document ranking
- language models for information retrieval
- pseudo relevance feedback
- relevance model
- translation model
- query terms
- vector space model
- query specific
- smoothing methods
- text classification
- okapi bm