Runsheng Li, Kai Sun, Bin Shi, Bo Dong 0001. Generation, Validation, and Selection: A Proof-by-Contradiction Reasoning Chain Data Synthesis Method for Enhancing Indirect Reasoning in Large Language Models. In IEEE International Conference on Big Data, BigData 2025, Macau, China, December 8-11, 2025. pages 99-104, IEEE, 2025. [doi]