@misc{indiciae9662c08268e4,
  title = {SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models},
  author = {Shihao Xia and Mengting He and Shuai Shao and Tingting Yu and Yiying Zhang and Nobuko Yoshida and Linhai Song},
  year = {2026},
  doi = {10.1145/3798217},
  url = {https://arxiv.org/abs/2502.07644},
  note = {Source identifier: 2502.07644}
}