8 papers
FTSmartAudit: A Knowledge Distillation-Enhanced Framework for Automated Smart Contract Auditing Using Fine-Tuned LLMs
Zhiyuan Wei, Jing Sun, Zijian Zhang +2
The rapid growth of blockchain technology has driven the widespread adoption of smart contracts. However, their inherent vulnerabilities have led to significant financial losses. T…
Distilling Lightweight Language Models for C/C++ Vulnerabilities
Zhiyuan Wei, Xiaoxuan Yang, Jing Sun +1
The increasing complexity of modern software systems exacerbates the prevalence of security vulnerabilities, posing risks of severe breaches and substantial economic loss. Conseque…
Adaptive Plan-Execute Framework for Smart Contract Security Auditing
Zhiyuan Wei, Jing Sun, Zijian Zhang +2
Large Language Models (LLMs) have shown great promise in code analysis and auditing; however, they still struggle with hallucinations and limited context-aware reasoning. We introd…
MaCTG: Multi-Agent Collaborative Thought Graph for Automatic Programming
Zixiao Zhao, Jing Sun, Zhe Hou +4
With the rapid advancement of Large Language Models (LLMs), LLM-based approaches have demonstrated strong problem-solving capabilities across various domains. However, in automatic…
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts
Zhiyuan Wei, Xianhao Zhang, Jing Sun +2
Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across v…
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
Yedi Zhang, Yufan Cai, Xinyue Zuo +9
Large Language Models (LLMs) have emerged as a transformative AI paradigm, profoundly influencing daily life through their exceptional language understanding and contextual generat…