Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic.

Terufumi Morishita, Gaku Morio, Atsuki Yamaguchi, Yasuhiro Sogawa

Browse the full ICML paper archive.