27 lines
778 B
Markdown
27 lines
778 B
Markdown
---
|
||
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|随机平滑]]
|