- 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
- Editors:
- Kaibao Hu, Jong-Bok Kim, Chengqing Zong, Emmanuele Chersoni
- Venue:
- PACLIC
- SIG:
- Publisher:
- Association for Computational Lingustics
- Note:
- Pages:
- 411–420
- Language:
- URL:
- https://aclanthology.org/2021.paclic-1.44
- DOI:
- 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)
- PDF:
- https://preview.aclanthology.org/landing_page/2021.paclic-1.44.pdf
- Data
- SICK