Benchmarking Zero-Shot Reasoning Approaches for Error Detection in Solidity Smart Contracts. - Eduardo Sardenberg; Antonio José Grandson Busson; Daniel de Sousa Moraes; Julio Cesar Duarte; Sérgio Colcher (CoRR, 2026)