Interpretable Proof Generation via Iterative Backward Reasoning. - Hanhao Qu; Yu Cao; Jun Gao; Liang Ding; Ruifeng Xu (NAACL-HLT, 2022)

Interpretable Proof Generation via Iterative Backward Reasoning. - Hanhao Qu; Yu Cao; Jun Gao; Liang Ding; Ruifeng Xu 001 (CoRR, 2022)