Solidity Meets LLMs: A Transformer-Based Approach to Smart Contract Vulnerability Detection

arXiv:2609.27091 · cs.CR, cs.SE · Submitted 2026-09-22 · Read on arXiv

cs.CR, cs.SE

Submitted: 2026-09-22

Updated: 2026-09-22

Journal ref: Springer book chapter (edited volume), not a journal article 2026

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Transformer — 6× in this paper · explained in 2 episodes
AUC — 2× in this paper · explained in 2 episodes
Accuracy — 2× in this paper · explained in 1 episode
Decentralized Autonomous Organization — 2× in this paper
Fine-Tuning — 2× in this paper · explained in 5 episodes
Abstract Syntax Trees — 1× in this paper
Actor — 1× in this paper · explained in 3 episodes
Adaptation — 1× in this paper · explained in 1 episode
Contextual Understanding — 1× in this paper · explained in 2 episodes
Convolutional Neural Networks (CNNs) — 1× in this paper · explained in 2 episodes
Embeddings — 1× in this paper · explained in 2 episodes
F1 Score — 1× in this paper · explained in 3 episodes
Feature Extraction — 1× in this paper · explained in 2 episodes
Formal Methods — 1× in this paper · explained in 3 episodes
Formal Verification — 1× in this paper · explained in 2 episodes
Graph Neural Network (GNN) — 1× in this paper · explained in 2 episodes
Robustness — 1× in this paper · explained in 5 episodes
Verification — 1× in this paper · explained in 2 episodes