Interpretable Proof Generation via Iterative Backward Reasoning.
CoRR, 2022
Interpretable Proof Generation via Iterative Backward Reasoning.
Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022