LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers.
Theo OlaussonAlex GuBenjamin LipkinCedegao E. ZhangArmando Solar-LezamaJoshua B. TenenbaumRoger LevyPublished in: EMNLP (2023)
Keyphrases
- first order logic
- language model
- logical reasoning
- formal semantics
- theorem proving
- theorem prover
- expressive power
- language modeling
- inference rules
- document retrieval
- probabilistic model
- knowledge representation
- n gram
- retrieval model
- information retrieval
- markov networks
- transitive closure
- query terms
- test collection
- query expansion
- language models for information retrieval
- wireless systems
- proof procedure
- text classification
- relevance model
- smoothing methods