TY  - RPRT
TI  - SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
AU  - Shihao Xia
AU  - Mengting He
AU  - Shuai Shao
AU  - Tingting Yu
AU  - Yiying Zhang
AU  - Nobuko Yoshida
AU  - Linhai Song
PY  - 2026
DO  - 10.1145/3798217
UR  - https://arxiv.org/abs/2502.07644
ID  - 2502.07644
ER  -