Talking with the Theorem Prover to Interactively Solve Natural Language Inference

Atsushi Sumita, Yusuke Miyao, Koji Mineshima


Anthology ID:
2021.paclic-1.44
Volume:
Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation
Month:
11
Year:
2021
Address:
Shanghai, China
Venue:
PACLIC
SIG:
Publisher:
Association for Computational Lingustics
Note:
Pages:
411–420
Language:
URL:
https://aclanthology.org/2021.paclic-1.44
DOI:
Bibkey:
Cite (ACL):
Atsushi Sumita, Yusuke Miyao, and Koji Mineshima. 2021. Talking with the Theorem Prover to Interactively Solve Natural Language Inference. In Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation, pages 411–420, Shanghai, China. Association for Computational Lingustics.
Cite (Informal):
Talking with the Theorem Prover to Interactively Solve Natural Language Inference (Sumita et al., PACLIC 2021)
Copy Citation:
PDF:
https://aclanthology.org/2021.paclic-1.44.pdf
Data
SICK