★ 2
两层 ReLU 网络计算六数最大值的可手验证明
论文针对 ReLU 网络深度问题，给出一个显式六边形恒等式，从而为「两个隐藏层足以精确计算六个实数最大值」提供可完全手工验证的解析证明。该恒等式由计算机辅助搜索发现，但证明仅依赖显式消去，无需运行验证程序。由此还构造出隐藏层宽度为 17 与 41、零偏置、有理权重的显式网络。
arXiv cs.LG27 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文针对 ReLU 网络深度问题，给出一个显式六边形恒等式，从而为「两个隐藏层足以精确计算六个实数最大值」提供可完全手工验证的解析证明。该恒等式由计算机辅助搜索发现，但证明仅依赖显式消去，无需运行验证程序。由此还构造出隐藏层宽度为 17 与 41、零偏置、有理权重的显式网络。