2025
CoRe: Benchmarking LLMs’ Code Reasoning Capabilities through Static Analysis Tasks
NeurIPS 2025spotlight
Large language models (LLMs) have been widely adopted across diverse domains of software engineering, such as code generation, program repair, and vulnerability detection. These applications require understanding beyond surface-level code patterns: value propagation, control flow, and interdependenc…