A Model-Theoretic Formalization of Natural Language Inference Using Neural Network and Tableau Method.

Ayahito Saji, Yoshihide Kato, Shigeki Matsubara

Browse the full PACLIC paper archive.