TY  - RPRT
TI  - Benchmarking Zero-Shot Reasoning Approaches for Error Detection in Solidity Smart Contracts
AU  - Eduardo Sardenberg
AU  - Antonio José Grandson Busson
AU  - Daniel de Sousa Moraes
AU  - Julio Cesar Duarte
AU  - Sérgio Colcher
PY  - 2026
UR  - https://arxiv.org/abs/2603.13239
ID  - 2603.13239
ER  -