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

Oyvind Tafjord, Bhavana Dalvi, Peter Clark


Anthology ID:
2021.findings-acl.317
Volume:
Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021
Month:
August
Year:
2021
Address:
Online
Editors:
Chengqing Zong, Fei Xia, Wenjie Li, Roberto Navigli
Venue:
Findings
SIG:
Publisher:
Association for Computational Linguistics
Note:
Pages:
3621–3634
Language:
URL:
https://aclanthology.org/2021.findings-acl.317
DOI:
10.18653/v1/2021.findings-acl.317
Bibkey:
Cite (ACL):
Oyvind Tafjord, Bhavana Dalvi, and Peter Clark. 2021. ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language. In Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021, pages 3621–3634, Online. Association for Computational Linguistics.
Cite (Informal):
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language (Tafjord et al., Findings 2021)
Copy Citation:
PDF:
https://aclanthology.org/2021.findings-acl.317.pdf
Video:
 https://aclanthology.org/2021.findings-acl.317.mp4
Data
ProofWriter