ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language Oyvind Tafjord author Bhavana Dalvi author Peter Clark author 2021-08 text Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021 Chengqing Zong editor Fei Xia editor Wenjie Li editor Roberto Navigli editor Association for Computational Linguistics Online conference publication tafjord-etal-2021-proofwriter 10.18653/v1/2021.findings-acl.317 https://aclanthology.org/2021.findings-acl.317/ 2021-08 3621 3634