PulseAugur
中
实时 10:31:30
实体 Polynomial Zonotopes

Polynomial Zonotopes

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

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_180865 ·

    新方法验证工艺变化下的模拟神经网络

    研究人员开发了一种新的方法来形式化验证模拟神经网络。模拟神经网络以其效率而闻名，但对制造变化很敏感。该方法使用多项式区域来模拟这些变化下的神经元电路性能，从而能够通过可达性分析进行验证。该方法将验证时间从几天缩短到几秒钟，同时准确捕获高达 99% 的变化样本，并在各种数据集和网络架构上得到了证明。