Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation Zhouhao Sun author Xiao Ding author Li Du author Bibo Cai author Jinglong Gao author Ting Liu author Bing Qin author 2024-05 text Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024) Nicoletta Calzolari editor Min-Yen Kan editor Veronique Hoste editor Alessandro Lenci editor Sakriani Sakti editor Nianwen Xue editor ELRA and ICCL Torino, Italia conference publication sun-etal-2024-towards https://aclanthology.org/2024.lrec-main.1436/ 2024-05 16527 16538