TY - RPRT TI - Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation AU - Zhouhao Sun AU - Xiao Ding AU - Li Du AU - Bibo Cai AU - Jinglong Gao AU - Ting Liu AU - Qin Bing PY - 2024 UR - https://arxiv.org/abs/2404.01677 ID - 2404.01677 ER -