A Model-Theoretic Formalization of Natural Language Inference Using Neural Network and Tableau Method Ayahito Saji author Yoshihide Kato author Shigeki Matsubara author 2022-10 text Proceedings of the 36th Pacific Asia Conference on Language, Information and Computation Shirley Dita editor Arlene Trillanes editor Rochelle Irene Lucas editor Association for Computational Linguistics Manila, Philippines conference publication saji-etal-2022-model https://aclanthology.org/2022.paclic-1.48/ 2022-10 430 437