Unveiling the Magic of Code Reasoning through Hypothesis Decomposition and Amendment - Zhao, Yuze; Ji, Tianyun; Feng, Wenjun; Huang, Zhenya; Liu, Qi; Liu, Zhiding; Ma, Yixiao; Zhang, Kai; Chen, Enhong (International Conference on Learning Representations, 2025)