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

This is an internal, incomplete preview of a proposed change to the ACL Anthology. For efficiency reasons, we generate only three BibTeX files per volume, and the preview may be incomplete in other ways, or contain mistakes. Do not treat this content as an official publication.

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://preview.aclanthology.org/build-pipeline-with-new-library/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://preview.aclanthology.org/build-pipeline-with-new-library/2021.findings-acl.317.pdf
Video:: https://preview.aclanthology.org/build-pipeline-with-new-library/2021.findings-acl.317.mp4
Data: ProofWriter

PDF Search Video Fix metadata