Unveiling the Magic of Code Reasoning through Hypothesis Decomposition and Amendment. - Yuze Zhao; Tianyun Ji; Wenjun Feng; Zhenya Huang; Qi Liu 003; Zhiding Liu; Yixiao Ma; Kai Zhang 038; Enhong Chen (ICLR, 2025)