Large Language Models as an Indirect Reasoner: Contrapositive and Contradiction for Automated Reasoning.
Yanfang ZhangYiliu SunYibing ZhanDapeng TaoDacheng TaoChen GongPublished in: CoRR (2024)
Keyphrases
- automated reasoning
- language model
- language modeling
- theorem prover
- knowledge representation
- theorem proving
- speech recognition
- probabilistic model
- language modelling
- n gram
- knowledge base
- query expansion
- probabilistic reasoning
- document retrieval
- information retrieval
- retrieval model
- statistical language models
- test collection
- smoothing methods
- query terms
- context sensitive
- temporal reasoning
- ad hoc information retrieval
- pseudo relevance feedback
- vector space model
- first order logic
- document ranking
- logic programming
- search engine