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

Oyvind Tafjord, Bhavana Dalvi, Peter Clark

Browse the full ACL paper archive.