2 citations · 2 across the 4 of their papers we have counts for
4 papers
Web3 x AI Agents: Landscape, Integrations, and Foundational Challenges
Yiming Shen, Jiashuo Zhang, Zhenzhe Shao +6
The convergence of Web3 technologies and AI agents is a rapidly evolving frontier that is reshaping decentralized ecosystems. This paper presents the first comprehensive landscape…
SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code Generation
Zhifan Ye, Jiachi Chen, Zhenzhe Shao +3
The rise of blockchain has brought smart contracts into mainstream use, creating a demand for smart contract generation tools. While large language models (LLMs) excel at generatin…
FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
Jiachi Chen, Yiming Shen, Jiashuo Zhang +7
High-quality smart contract vulnerability datasets are critical for evaluating security tools and advancing smart contract security research. Two major limitations of current manua…
NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
Jiachi Chen, Zhenzhe Shao, Shuo Yang +5
In recent years, the Ethereum platform has witnessed a proliferation of smart contracts, accompanied by exponential growth in total value locked (TVL). High-TVL smart contracts oft…