CoRe: Benchmarking LLMs’ Code Reasoning Capabilities through Static Analysis Tasks | Read Paper on Bytez