Large Language Models as an Indirect Reasoner: Contrapositive and Contradiction for Automated Reasoning Yanfang Zhang author Yiliu Sun author Yibing Zhan author Dapeng Tao author Dacheng Tao author Chen Gong author 2025-01 text Proceedings of the 31st International Conference on Computational Linguistics Owen Rambow editor Leo Wanner editor Marianna Apidianaki editor Hend Al-Khalifa editor Barbara Di Eugenio editor Steven Schockaert editor Association for Computational Linguistics Abu Dhabi, UAE conference publication zhang-etal-2025-large-language https://aclanthology.org/2025.coling-main.337/ 2025-01 5040 5057