ACLDec, 2020
ProofWriter: 对自然语言生成蕴含、证明和阿布达布意见的系统
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language
Oyvind Tafjord, Bhavana Dalvi Mishra, Peter Clark
TL;DR这篇论文展示了一个名为 ProofWriter 的生成模型,能够可靠地生成一个理论的两个蕴含和支持它们的自然语言证明,具有高精度的缺少检测性能,能够大幅提高神经方法用于自然语言推理的可行性。