conftrace_

natural deduction

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

higher-order inference (1) natural deduction proof (1) phrase correspondence (1) logical semantics (1) logical semantic representation (1) semantic textual similarity (1) semantic relation (1) graph alignment (1) textual entailment (1) paraphrase detection (1)

Papers

Acquisition of Phrase Correspondences Using Natural Deduction Proofs NAACL 2018 Determining Semantic Textual Similarity using Natural Deduction Proofs EMNLP 2017