TY - RPRT TI - ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language AU - Oyvind Tafjord AU - Bhavana Dalvi Mishra AU - Peter Clark PY - 2021 UR - https://arxiv.org/abs/2012.13048 ID - 2012.13048 ER -