atlas

Research map / Learning theory and algorithms / Combinatorial and search optimization

Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation

NeurIPS 2022 · Learning theory and algorithms › Combinatorial and search optimization · approach: Semidefinite relaxations for verification · 8 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Measured effects reported in the paper

What was changedWhereMeasuredEffect
use tight linear relaxation for Clarke gradients instead of RecurJac's loose interval relaxation (ablation)bound propagation Lipschitz method · MNIST 3-layer MLPlocal Lipschitz bound: 1,091.31 -> 688.15Helped
same, on CNN (ablation)bound propagation Lipschitz method · MNIST CNN-2C2Flocal Lipschitz bound: 12,514.55 -> 5,473.03Helped
same, on CIFAR-10 CNN-4C2F (ablation)bound propagation Lipschitz method · CIFAR-10 CNN-4C2Flocal Lipschitz bound: 12502332.00 -> 1049447.88Helped
same, on TinyImageNet CNN-4C2F (ablation)bound propagation Lipschitz method · TinyImageNet CNN-4C2Flocal Lipschitz bound: 714189.12 -> 25096.26Helped
add branch-and-bound (ablation)Ours (w/o BaB) · MNIST 3-layer MLPlocal Lipschitz bound: 688.15 -> 397.25Helped
add branch-and-bound (ablation)Ours (w/o BaB) · MNIST CNN-2C2Flocal Lipschitz bound: 5,473.03 -> 5,458.84No clear effect
add branch-and-bound (ablation)Ours (w/o BaB) · Synthetic MLP width 128local Lipschitz bound: 35.66 -> 28.69Helped
add branch-and-bound (ablation)Ours (w/o BaB) · Synthetic MLP width 32local Lipschitz bound: 12.28 -> 12.13No clear effect
replace RecurJac relaxation with ours for monotonicity verification (ablation)Adult MLP · Adult monotonicity (age)% examples verified: 32% -> 40%Helped

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