Are LLMs Rigorous Logical Reasoner? Empowering Natural Language Proof Generation with Contrastive Stepwise Decoding.
Ying SuXiaojin FuMingwen LiuZhijiang GuoPublished in: CoRR (2023)
Keyphrases
- natural language
- text generation
- logical rules
- natural language generation
- knowledge representation
- language processing
- theorem prover
- knowledge base
- semantic representation
- natural language processing
- query answering
- machine translation
- semantic analysis
- temporal reasoning
- decoding algorithm
- linear logic
- logical formulas
- question answering
- information extraction
- logical reasoning
- neural network
- meta reasoning
- natural language interface
- semantic interpretation
- generation method
- generation process
- search engine