CoRe: Benchmarking LLMs’ Code Reasoning Capabilities through Static Analysis Tasks - Xie, Danning; Zheng, Mingwei; Liu, Xuwei; Wang, Jiannan; Wang, Chengpeng; Tan, Lin; Zhang, Xiangyu (Advances in Neural Information Processing Systems, 2025)