LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning. - Yuqiang Sun 001; Daoyuan Wu; Yue Xue; Han Liu 012; Wei Ma; Lyuye Zhang; Miaolei Shi; Yang Liu 003 (CoRR, 2024)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation. - Ye Liu 012; Yue Xue; Daoyuan Wu; Yuqiang Sun 001; Yi Li 008; Miaolei Shi; Yang Liu 003 (NDSS, 2025)