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