%0 Conference Paper %1 conf/paclic/SumitaMM21 %A Sumita, Atsushi %A Miyao, Yusuke %A Mineshima, Koji %B PACLIC %D 2021 %E Hu, Kaibao %E Kim, Jong-Bok %E Zong, Chengqing %E Chersoni, Emmanuele %I Association for Computational Lingustics %K dblp %P 411-420 %T Talking with the Theorem Prover to Interactively Solve Natural Language Inference. %U http://dblp.uni-trier.de/db/conf/paclic/paclic2021.html#SumitaMM21

@inproceedings{conf/paclic/SumitaMM21, added-at = {2022-05-30T00:00:00.000+0200}, author = {Sumita, Atsushi and Miyao, Yusuke and Mineshima, Koji}, biburl = {https://www.bibsonomy.org/bibtex/267433b77aa18dfeb5b173f1a9cad0ec9/dblp}, booktitle = {PACLIC}, crossref = {conf/paclic/2021}, editor = {Hu, Kaibao and Kim, Jong-Bok and Zong, Chengqing and Chersoni, Emmanuele}, ee = {https://aclanthology.org/2021.paclic-1.44}, interhash = {8572f31d6e0df02c0fdc24c70fb5abab}, intrahash = {67433b77aa18dfeb5b173f1a9cad0ec9}, keywords = {dblp}, pages = {411-420}, publisher = {Association for Computational Lingustics}, timestamp = {2024-04-10T00:50:40.000+0200}, title = {Talking with the Theorem Prover to Interactively Solve Natural Language Inference.}, url = {http://dblp.uni-trier.de/db/conf/paclic/paclic2021.html#SumitaMM21}, year = 2021 }