A Problem-Oriented Perspective and Anchor Verification for Code Optimization - Ye, Tong; Ma, Tengfei; Zhang, Xuhong; Yu, Hang; Yin, Jianwei; Wang, Wenhai (International Conference on Learning Representations, 2026)