实体 Sontag

Sontag

PulseAugur coverage of Sontag — every cluster mentioning Sontag across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_275357 · Oct 2 · 04:00

神经网络安全属性按复杂度分类

一篇新论文将神经网络的八个安全属性形式化为决策问题，并对其计算复杂度进行了分类。研究表明，在ReLU网络上，非干扰和单调性等属性是co-NP-完全的，而后门检测是Sigma_2^P-完全的。研究还发现，对参数进行量化（如比特翻转攻击）会使即使是简单网络的验证也成为exists-R-完全问题。