Atsushi Sumita, Yusuke Miyao, Koji Mineshima. Talking with the Theorem Prover to Interactively Solve Natural Language Inference. In Kaibao Hu, Jong-Bok Kim, Chengqing Zong, Emmanuele Chersoni, editors, Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation, PACLIC 2021, Shanghai International Studies University, Shanghai, China, 5-7 November 2021. pages 411-420, Association for Computational Lingustics, 2021. [doi]
Abstract is missing.