2021 IJCNLP IJCNLP 2021

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