---
title: "CROWN Verifier"
created: 2026-07-04
updated: 2026-07-04
type: concept
tags: [verification, certification, bounds, neural-network]
sources: ["Zhang et al., 2018"]
---

# CROWN Verifier

一种通过快速线性边界传播进行神经网络鲁棒性验证的方法，属于不完整确定性验证器。

## 核心思想

CROWN（CROWN: Efficient Bound Propagation）对神经网络逐层计算输出的线性上下界，利用向后传播的线性松弛快速给出每个类别的 logit 范围。相比 DeepPoly 更强调计算效率和 tightness 的平衡。

## 变体

- $\beta$-CROWN：CROWN + branch-and-bound，升级为完备验证器

## 参考

- [[robustness-certification|鲁棒性认证]]
- [[deep-poly|DeepPoly]]
- [[randomized-smoothing|随机平滑]]
