Benchmarking Zero-Shot Reasoning Approaches for Error Detection in Solidity Smart Contracts
arXiv:2603.13239v1 Announce Type: new Abstract: Smart contracts play a central role in blockchain systems by encoding financial and operational logic. Still, their susceptibility to subtle …
Eduardo Sardenberg, Antonio Jos\'e Grandson Busson, Daniel de Sousa Moraes, S\'ergio Colcher
8 views