atlas

Research map / Adversarial robustness and security / Certified and empirical robustness

Lyapunov-Stable Deep Equilibrium Models

AAAI 2024 · Adversarial robustness and security › Certified and empirical robustness · approach: Neural network robustness verification · 3 citations (OpenAlex)

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.

Proposes LyaDEQ, a DEQ model whose fixed points are made Lyapunov-stable via an input-convex Lyapunov function and projected dynamics, plus an orthogonal FC layer to separate fixed points, improving adversarial robustness on MNIST, SVHN, CIFAR10/100.

Problem

DEQ models' adversarial robustness is largely unexplored, and the stability of their fixed points is poorly understood; existing certified methods give limited gains on complex image datasets.

Approach

Treats a DEQ layer as a nonlinear dynamical system and enforces Lyapunov stability of its fixed points using an input-convex neural network Lyapunov function with a projection onto a decrease-constrained dynamics set; an orthogonal FC layer after the stability module spreads apart stable equilibria of different classes.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Add Lyapunov stability module to DEQDEQ · SVHN, PGD ε=8/255accuracy: 51.22 -> 70.47Helped
Add Lyapunov stability module to DEQDEQ · CIFAR10, PGD ε=8/255accuracy: 11.12 -> 43.96Helped
Add Lyapunov stability module to DEQDEQ · CIFAR100, PGD ε=8/255accuracy: 3.10 -> 19.55Helped
Add Lyapunov stability module to DEQDEQ · MNIST, PGD ε=8/255accuracy: 45.23 -> 50.35Helped
Use LyaDEQ instead of IBP-MonDEQDEQ · MNIST, PGD ε=8/255accuracy: 94.57 vs 50.35Hurt
Use LyaDEQ instead of IBP-MonDEQDEQ · SVHN, PGD ε=8/255accuracy: 52.04 -> 70.47Helped
Add TRADES adversarial trainingLyaDEQ · CIFAR10, I-FGSM ε=2/255accuracy: +25.43%Helped
Add robust dataset trainingLyaDEQ · CIFAR10, I-FGSM ε=2/255accuracy: +4.58%Helped
Add PGD adversarial trainingLyaDEQ · CIFAR10, I-FGSM ε=2/255accuracy: +13.08%Helped
Add orthogonal FC layer (ablation)LyaDEQ · MNIST, PGD ε=8/255accuracy: 23.23 -> 50.35Helped
Add orthogonal FC layer (ablation)LyaDEQ · SVHN, PGD ε=8/255accuracy: 65.60 -> 70.47Helped
Add orthogonal FC layer (ablation)LyaDEQ · CIFAR10, PGD ε=8/255accuracy: 46.12 -> 43.96Hurt

Surprising findings

Limitations

Experimental setup

Datasets: MNIST SVHN CIFAR10 CIFAR100

Benchmarks: MNIST SVHN CIFAR10 CIFAR100

Metrics: classification accuracy under adversarial attack

Baselines: DEQ IBP-MonDEQ ResNet56 VGG16 WideResNet

Builds on: deep equilibrium models IBP-MonDEQ input-convex neural networks Anderson acceleration TRADES

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