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