Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation.

Zhouhao Sun, Xiao Ding, Li Du, Bibo Cai, Jinglong Gao, Ting Liu, Bing Qin

Browse the full COLING paper archive.