Talking with the Theorem Prover to Interactively Solve Natural Language Inference Atsushi Sumita author Yusuke Miyao author Koji Mineshima author 2021-11 text Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation Kaibao Hu editor Jong-Bok Kim editor Chengqing Zong editor Emmanuele Chersoni editor Association for Computational Lingustics Shanghai, China conference publication sumita-etal-2021-talking https://aclanthology.org/2021.paclic-1.44/ 2021-11 411 420