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

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