TY  - RPRT
TI  - Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
AU  - Haoyu Li
AU  - Xijia Che
AU  - Yanhao Wang
AU  - Xiaojing Liao
AU  - Luyi Xing
PY  - 2026
UR  - https://arxiv.org/abs/2602.13574
ID  - 2602.13574
ER  -