Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation.
Yuan YangSiheng XiongAli PayaniEhsan ShareghiFaramarz FekriPublished in: CoRR (2023)
Keyphrases
- first order logic
- language model
- natural language
- knowledge representation
- translation model
- language modeling
- expressive power
- machine translation
- document retrieval
- n gram
- theorem proving
- probabilistic model
- theorem prover
- retrieval model
- query expansion
- representation language
- information retrieval
- test collection
- markov networks
- context sensitive
- smoothing methods
- natural language processing
- logical formulas
- language models for information retrieval
- query terms
- pseudo relevance feedback
- transitive closure
- relevance model
- machine learning
- cross language information retrieval
- query translation
- expert systems
- cross lingual
- image retrieval