PRover: Proof Generation for Interpretable Reasoning over Rules Swarnadeep Saha author Sayan Ghosh author Shashank Srivastava author Mohit Bansal author 2020-11 text Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP) Bonnie Webber editor Trevor Cohn editor Yulan He editor Yang Liu editor Association for Computational Linguistics Online conference publication saha-etal-2020-prover 10.18653/v1/2020.emnlp-main.9 https://aclanthology.org/2020.emnlp-main.9/ 2020-11 122 136