Interpretable Proof Generation via Iterative Backward Reasoning
Hanhao Qu, Yu Hua Cao, Jun Gao, Liang Ding, Ruifeng Xu · Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies · 2022
Hanhao Qu, Yu Cao, Jun Gao, Liang Ding, Ruifeng Xu. Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 2022.