Cover Image

Benchmarking Zero-Shot Reasoning Approaches for Error Detection in Solidity Smart Contracts

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sardenberg, Eduardo, Busson, Antonio José Grandson, Moraes, Daniel de Sousa, Duarte, Julio Cesar, Colcher, Sérgio
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Clustering-Based Method for Automatic Educational Video Recommendation Using Deep Face-Features of Lecturers
by: Mendes, Paulo R. C., et al.
Published: (2020)

Zero-Shot Vulnerability Detection in Low-Resource Smart Contracts Through Solidity-Only Training
by: Hu, Minghao, et al.
Published: (2026)

Reasoning with LLMs for Zero-Shot Vulnerability Detection
by: Zibaeirad, Arastoo, et al.
Published: (2025)

Using Zero-shot Prompting in the Automatic Creation and Expansion of Topic Taxonomies for Tagging Retail Banking Transactions
by: Moraes, Daniel de S., et al.
Published: (2024)

Video Quality Enhancement Using Deep Learning-Based Prediction Models for Quantized DCT Coefficients in MPEG I-frames
by: Busson, Antonio J G, et al.
Published: (2020)

Stance Reasoner: Zero-Shot Stance Detection on Social Media with Explicit Reasoning
by: Taranukhin, Maksym, et al.
Published: (2024)

Evaluating System 1 vs. 2 Reasoning Approaches for Zero-Shot Time Series Forecasting: A Benchmark and Insights
by: Liu, Haoxin, et al.
Published: (2025)

Zero-Shot Visual Reasoning by Vision-Language Models: Benchmarking and Analysis
by: Nagar, Aishik, et al.
Published: (2024)

SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
by: Qin, Kaihua, et al.
Published: (2026)

Understanding Financial Reasoning in AI: A Multimodal Benchmark and Error Learning Approach
by: Deng, Shuangyan, et al.
Published: (2025)

SmartLLMSentry: A Comprehensive LLM Based Smart Contract Vulnerability Detection Framework
by: Zaazaa, Oualid, et al.
Published: (2024)

SCALM: Detecting Bad Practices in Smart Contracts Through LLMs
by: Li, Zongwei, et al.
Published: (2025)

Bridging Solidity Evolution Gaps: An LLM-Enhanced Approach for Smart Contract Compilation Error Resolution
by: Ye, Likai, et al.
Published: (2025)

Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
by: Chen, Zaoyu, et al.
Published: (2025)

Are Video Models Ready as Zero-Shot Reasoners? An Empirical Study with the MME-CoF Benchmark
by: Guo, Ziyu, et al.
Published: (2025)

Logical foundations of Smart Contracts
by: Kalala, Kalonji
Published: (2025)

Benchmarking Foundation Models for Zero-Shot Biometric Tasks
by: Sony, Redwan, et al.
Published: (2025)

Zero-Shot Robustification of Zero-Shot Models
by: Adila, Dyah, et al.
Published: (2023)

Securing Smart Contract Languages with a Unified Agentic Framework for Vulnerability Repair in Solidity and Move
by: Karanjai, Rabimba, et al.
Published: (2025)

LLMs are not Zero-Shot Reasoners for Biomedical Information Extraction
by: Nagar, Aishik, et al.
Published: (2024)

GRATR: Zero-Shot Evidence Graph Retrieval-Augmented Trustworthiness Reasoning
by: Zhu, Ying, et al.
Published: (2024)

Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization
by: Kong, Ziqiao, et al.
Published: (2026)

Benchmarking Open-Source Large Language Models for Persian in Zero-Shot and Few-Shot Learning
by: Cherakhloo, Mahdi, et al.
Published: (2025)

Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
by: Yu, Lei, et al.
Published: (2025)

RAPGen: An Approach for Fixing Code Inefficiencies in Zero-Shot
by: Garg, Spandan, et al.
Published: (2023)

Navigating Data Scarcity using Foundation Models: A Benchmark of Few-Shot and Zero-Shot Learning Approaches in Medical Imaging
by: Woerner, Stefano, et al.
Published: (2024)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
by: Corazza, Jan, et al.
Published: (2025)

The Impact of Prompts on Zero-Shot Detection of AI-Generated Text
by: Taguchi, Kaito, et al.
Published: (2024)

SmartLLM: Smart Contract Auditing using Custom Generative AI
by: Kevin, Jun, et al.
Published: (2025)

Automated Vulnerability Injection in Solidity Smart Contracts: A Mutation-Based Approach for Benchmark Development
by: Iuliano, Gerardo, et al.
Published: (2025)

Are Stereotypes Leading LLMs' Zero-Shot Stance Detection ?
by: Dubreuil, Anthony, et al.
Published: (2025)

Zero-Shot Reasoning: Personalized Content Generation Without the Cold Start Problem
by: Hafnar, Davor, et al.
Published: (2024)

Retrieval Augmented Generation Integrated Large Language Models in Smart Contract Vulnerability Detection
by: Yu, Jeffy
Published: (2024)

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
by: Sun, Yuqiang, et al.
Published: (2023)

Zero-Shot to Zero-Lies: Detecting Bengali Deepfake Audio through Transfer Learning
by: Samu, Most. Sharmin Sultana, et al.
Published: (2025)

SPATIOROUTE: Dynamic Prompt Routing for Zero-Shot Spatial Reasoning
by: Chunhachatrachai, Pawat, et al.
Published: (2026)

Diverge to Induce Prompting: Multi-Rationale Induction for Zero-Shot Reasoning
by: Chen, Po-Chun, et al.
Published: (2026)

AI Agent Smart Contract Exploit Generation
by: Gervais, Arthur, et al.
Published: (2025)

SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications
by: Goel, Abhinav, et al.
Published: (2026)

Reasoning-Oriented and Analogy-Based Methods for Locating and Editing in Zero-Shot Event-Relational Reasoning
by: Tang, Jingyao, et al.
Published: (2025)