Learning As Abduction: Trainable Natural Language Theorem Prover for Natural Language Inference
Completion requirements
PDF
Click LearningAsAbduction.pdf link to view the file.