Interpretable Proof Generation via Iterative Backward Reasoning.
Hanhao QuYu CaoJun GaoLiang DingRuifeng XuPublished in: NAACL-HLT (2022)
Keyphrases
- forward and backward
- logical rules
- proof theory
- forward backward
- mathematical proofs
- reasoning process
- automated theorem proving
- knowledge base
- reasoning systems
- automated reasoning
- theorem proving
- meta level
- knowledge representation
- generation process
- proof planning
- proof procedure
- model based reasoning
- neural network
- iterative process
- legal reasoning
- formal models
- generation method
- bi directional
- reasoning problems
- qualitative reasoning
- spatial reasoning
- hidden markov models
- information systems
- learning algorithm
- real time