Atsushi Sumita

Author directory

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
Venues
Fix author