activity
20242026
most citedFORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction

2 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2025

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…