Talking with the Theorem Prover to Interactively Solve Natural Language Inference
2021-11-01PACLIC 2021Unverified0· sign in to hype
Atsushi Sumita, Yusuke Miyao, Koji Mineshima
Unverified — Be the first to reproduce this paper.
ReproduceAtsushi Sumita, Yusuke Miyao, Koji Mineshima
Unverified — Be the first to reproduce this paper.
Reproduce