---
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|随机平滑]]