年別の研究成果
年別の研究成果
検索結果
-
2021
Talking with the Theorem Prover to Interactively Solve Natural Language Inference
Sumita, A., Mineshima, K. & Miyao, Y., 2021, p. 321-330. 10 p.研究成果: Paper › 査読