2021 ACL ACL 2021

ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language