@article{corebenchmarkingllmscodereasoning,
  title = {CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks},
  author = {Danning Xie and Mingwei Zheng and Xuwei Liu and Jiannan Wang and Chengpeng Wang and Lin Tan and Xiangyu Zhang},
  year = {2025},
  eprint = {2507.05269},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2507.05269v1},
}