实体 E3SAT

E3SAT

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

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

RESEARCH · CL_148009 · Jul 15 · 21:26

随机噪声并不能简化精确 ReLU 网络验证

一篇新的研究论文探讨了在对抗性平滑下验证整流线性单元 (ReLU) 神经网络的复杂性。研究表明，添加随机参数噪声、裁剪和舍入网络权重并不能简化精确验证过程。研究结果表明，假设 NP 不是 BPP 的子集，即使对于某些网络配置存在固定的噪声水平，也不存在所有基本实例的高效验证器。