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