Hitachi, Ltd. Research and Development Group, Kokubunji, Tokyo, Japan
Terufumi Morishita, Gaku Morio, Atsuki Yamaguchi, Yasuhiro Sogawa
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic