27 lines
863 B
Markdown
27 lines
863 B
Markdown
---
|
||
title: "DeepPoly"
|
||
created: 2026-07-04
|
||
updated: 2026-07-04
|
||
type: concept
|
||
tags: [verification, certification, convex-relaxation, neural-network]
|
||
sources: ["Singh et al., 2019"]
|
||
---
|
||
|
||
# DeepPoly
|
||
|
||
一种确定性不完整验证器，基于凸松弛对神经网络进行可微的抽象解释，给出 sound 但保守的鲁棒性保证。
|
||
|
||
## 核心方法
|
||
|
||
对神经网络逐层传播抽象域（abstract domain），用线性约束 over-approximate 每一层的输出范围。最终在输出层检查是否存在对抗样本。
|
||
|
||
## 在鲁棒性认证中的定位
|
||
|
||
属于**不完整验证**类别：保证找到的扰动范围内没有对抗样本（sound），但可能因过度近似而拒绝实际上安全的输入（conservative）。
|
||
|
||
## 参考
|
||
|
||
- [[robustness-certification|鲁棒性认证]]
|
||
- [[crown-verifier|CROWN]]
|
||
- [[randomized-smoothing|随机平滑]]
|