Interpretable Proof Generation via Iterative Backward Reasoning.

Hanhao Qu, Yu Cao, Jun Gao, Liang Ding, Ruifeng Xu

Browse the full NAACL paper archive.