Symgpt: Auditing smart contracts via combining symbolic execution with large language models

Published in Proceedings of the ACM on Programming Languages (OOPSLA1), 2026

Recommended citation: Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Nobuko Yoshida, Linhai Song. Symgpt: Auditing smart contracts via combining symbolic execution with large language models. Proceedings of the ACM on Programming Languages, 2026.
Download Paper