Hence, Socrates is mortal: A Benchmark for Natural Language Syllogistic Reasoning.

Yongkang Wu, Meng Han, Yutao Zhu, Lei Li, Xinyu Zhang, Ruofei Lai, Xiaoguang Li, Yuanhang Ren, Zhicheng Dou, Zhao Cao

Browse the full ACL paper archive.