Corpus ID: 229371222

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

@article{Tafjord2020ProofWriterGI,
  title={ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language},
  author={Oyvind Tafjord and B. D. Mishra and P. Clark},
  journal={ArXiv},
  year={2020},
  volume={abs/2012.13048}
}

Oyvind Tafjord, B. D. Mishra, P. Clark

Published 2020

Computer Science

ArXiv

Transformers have been shown to emulate logical deduction over natural language theories (logical rules expressed in natural language), reliably assigning true/false labels to candidate implications. However, their ability to generate implications of a theory has not yet been demonstrated, and methods for reconstructing proofs of answers are imperfect. In this work we show that a generative model, called ProofWriter, can reliably generate both implications of a theory and the natural language… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed