ProofInfer: Generating Proof via Iterative Hierarchical Inference Zichu Fei author Qi Zhang author Xin Zhou author Tao Gui author Xuanjing Huang author 2022-12 text Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing Yoav Goldberg editor Zornitsa Kozareva editor Yue Zhang editor Association for Computational Linguistics Abu Dhabi, United Arab Emirates conference publication fei-etal-2022-proofinfer 10.18653/v1/2022.emnlp-main.747 https://aclanthology.org/2022.emnlp-main.747/ 2022-12 10883 10892