TY  - RPRT
TI  - Large Language Models as an Indirect Reasoner: Contrapositive and Contradiction for Automated Reasoning
AU  - Yanfang Zhang
AU  - Yiliu Sun
AU  - Yibing Zhan
AU  - Dapeng Tao
AU  - Dacheng Tao
AU  - Chen Gong
PY  - 2025
UR  - https://arxiv.org/abs/2402.03667
ID  - 2402.03667
ER  -