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