Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers.
Albert Qiaochu JiangWenda LiSzymon TworkowskiKonrad CzechowskiTomasz OdrzygózdzPiotr MilosYuhuai WuMateja JamnikPublished in: NeurIPS (2022)
Keyphrases
- language model
- automated theorem provers
- language modeling
- computer algebra
- probabilistic model
- n gram
- speech recognition
- query expansion
- document retrieval
- retrieval model
- language modelling
- information retrieval
- statistical language models
- query terms
- test collection
- context sensitive
- pseudo relevance feedback
- relevance model
- translation model
- word error rate
- language models for information retrieval
- vector space model
- smoothing methods
- spoken term detection
- language model for information retrieval
- document length
- bayesian networks