PulseAugur
中
实时 11:10:07
实体 Chandra Kanth Nagesh

Chandra Kanth Nagesh

PulseAugur coverage of Chandra Kanth Nagesh — every cluster mentioning Chandra Kanth Nagesh 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_180853 ·

    新框架通过分段仿射抽象优化神经网络验证

    研究人员开发了一个新的框架，用于验证使用非线性激活函数的神经网络。该方法构建了网络优化的分段仿射抽象，用更简单的分段仿射函数和有界误差项替换复杂的激活函数。采用动态规划算法来寻找最优抽象，平衡分段数量、全局误差和验证复杂度。该方法适用于包括多层感知机和Kolmogorov-Arnold网络在内的各种网络架构，并在基准测试中展示了更紧密的输出界限。