ACL Anthology
News
(current)
FAQ
(current)
Corrections
(current)
Submissions
(current)
GitHub
This page is part of a
temporary preview
of a proposed change that may be incomplete or contain mistakes. It is
not official
and will be removed when the change is merged or abandoned.
Atsushi
Sumita
2021
pdf
bib
Talking with the Theorem Prover to Interactively Solve Natural Language Inference
Atsushi Sumita
|
Yusuke Miyao
|
Koji Mineshima
Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation
Search
Co-authors
Koji Mineshima
1
Yusuke Miyao
1
Venues
PACLIC
1
Fix author