Atsushi Sumita

According to our database, Atsushi Sumita authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

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, 2021