NumScout: Unveiling Numerical Defects in Smart Contracts Using LLM-Pruning Symbolic Execution. - Jiachi Chen; Zhenzhe Shao; Shuo Yang; Yiming Shen; Yanlin Wang 001; Ting Chen 002; Zhenyu Shan; Zibin Zheng (IEEE Trans. Software Eng., 2025)

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction. - Jiachi Chen; Yiming Shen; Jiashuo Zhang; Zihao Li 001; John Grundy 001; Zhenzhe Shao; Yanlin Wang 001; Jiashui Wang; Ting Chen 002; Zibin Zheng (CoRR, 2025)

Web3 x AI Agents: Landscape, Integrations, and Foundational Challenges. - Yiming Shen; Jiashuo Zhang; Zhenzhe Shao; Wenxuan Luo; Yanlin Wang 001; Ting Chen 002; Zibin Zheng; Jiachi Chen (CoRR, 2025)