4 citations · 4 across the 5 of their papers we have counts for
9 papers
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…
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…
SoK: Detection and Repair of Accessibility Issues
Liming Nie, Hao Liu, Jing Sun +6
There is an increasing global emphasis on information accessibility, with numerous researchers actively developing automated tools to detect and repair accessibility issues, thereb…
LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
Zhiyuan Wei, Jing Sun, Zijiang Zhang +3
The immutable nature of blockchain technology, while revolutionary, introduces significant security challenges, particularly in smart contracts. These security issues can lead to s…
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…