实体
CogSpike
CogSpike
PulseAugur coverage of CogSpike — every cluster mentioning CogSpike across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新CogSpike工具为概率脉冲神经网络提供形式化验证
研究人员开发了一种名为CogSpike的新型形式化验证工具，用于概率脉冲神经网络（SNNs）。该工具通过采用权重离散化的商抽象方法，解决了验证这些复杂随机模型固有的状态空间爆炸问题。这种方法将连续的突触权重映射到一个紧凑的整数范围，保留了关键信息，并能够验证更大、更难处理的网络。该系统集成了SNN设计、仿真和PRISM的形式化验证，提供了正式的正确性保证，并展示了显著的状态空间缩减。
-
新研究推动脉冲神经网络在效率和验证方面的进展
研究人员开发了用于脉冲神经网络（SNN）的新方法，重点是提高其效率和验证能力。一项研究介绍了一种可学习的残差语音到脉冲编码器，该编码器在保持参数效率的同时提高了在 Google Speech Commands v2 基准测试上的准确性。另一项开发 VQ4SNN 利用矢量量化显著降低了在 FPGA 上部署 SNN 的内存需求，使其更适合边缘 AI 应用。此外，还创建了一个用于概率 SNN 的形式化验证工具，采用商抽象来管理状态空间爆炸并…