atlas

Research map / Architectures and efficiency / Attention and transformers

Fine-grained Local Sensitivity Analysis of Standard Dot-Product Self-Attention

ICML 2024 · Architectures and efficiency › Attention and transformers · approach: Sparse and structured attention

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Derives fine-grained analytical local sensitivity bounds for unmodified dot-product self-attention (LoFAST) and uses them for fast, non-vacuous deterministic certified l2 robustness of ViTs on CIFAR-10 and SVHN.

Problem

Dot-product self-attention is not globally Lipschitz, so its sensitivity to input perturbations is hard to bound, and existing certification tools (CROWN, randomized smoothing) do not scale to ViTs on CIFAR-scale data.

Approach

Instead of modifying attention to be Lipschitz, bound the local deviation ||F(X')-F(X)|| around a fixed input X by splitting into two terms: an exact key sensitivity metric (a largest-singular-value problem via Kronecker structure) for the value/output term, and tractable upper bounds for the softmax-difference term; combine with Lipschitz-constrained layers (SLL, LayerProject) to certify ViTs.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Apply LoFAST before CROWNCROWN on CIFAR-10 3-layer ViT · CIFAR-10, ε = 0.05certified acc. (%): 14.35 -> 20.03Helped
Apply LoFAST before CROWNCROWN on SVHN 3-layer ViT · SVHN, ε = 0.05certified acc. (%): 27.45 -> 29.51Helped
Apply LoFAST before CROWNCROWN on CIFAR-10 3-layer ViT · CIFAR-10sec/sample: 4.33 -> 1.71Helped
Apply LoFAST before CROWNCROWN on SVHN 3-layer ViT · SVHNsec/sample: 5.68 -> 1.44Helped
Use LoFAST instead of α, β-CROWNViT 3-Layer · CIFAR-10 test subset (1000 samples), ε = 0.02certified robust accuracy (%): 41.2 -> 29.1Hurt
Use LoFAST instead of α, β-CROWNViT 3-Layer · CIFAR-10 test subset (1000 samples), ε = 0.05certified robust accuracy (%): 14.1 -> 16.0Helped

Surprising findings

Limitations

Experimental setup

Datasets: CIFAR-10 SVHN

Benchmarks: CIFAR-10 SVHN

Metrics: certified robust accuracy upper bound tightness vs PGD lower bound sec/sample run-time

Baselines: alpha,beta-CROWN naive sensitivity bound (Eq. 12) PGD lower bound CROWN+LoFAST

Builds on: Kim et al. 2021 Lipschitz analysis of dot-product attention Tsuzuku et al. 2018 margin-based certification SDP-based Lipschitz layers (SLL) CROWN / alpha-beta-CROWN

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy