Determining Semantic Textual Similarity using Natural Deduction Proofs

33050

Knowledge Triples

Source Entity	Relationship	Target Entity
Logical Semantic Representations Method	usedFor	Semantic Textual Similarity Task
Natural Deduction Proofs Method	uses	Bidirectional Entailment OtherEntity
Vector-Based Models Method	usedFor	Semantic Textual Similarity Task