Automated Theorem Provers Help Improve Large Language Model Reasoning.
Lachlan McGinnessPeter BaumgartnerPublished in: LPAR (2024)
Keyphrases
- language model
- language modeling
- n gram
- document retrieval
- speech recognition
- information retrieval
- statistical language models
- language modelling
- context sensitive
- query expansion
- retrieval model
- language model for information retrieval
- mixture model
- probabilistic model
- pseudo relevance feedback
- document ranking
- ad hoc information retrieval
- test collection
- smoothing methods
- generative model
- translation model
- information retrieval systems
- computer algebra
- knowledge representation
- automated theorem provers