@misc{indiciae3a6932ad2b8d,
  title = {Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation},
  author = {Haoyu Li and Xijia Che and Yanhao Wang and Xiaojing Liao and Luyi Xing},
  year = {2026},
  url = {https://arxiv.org/abs/2602.13574},
  note = {Source identifier: 2602.13574}
}