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

Open in new window