★ 2
两层 ReLU 网络计算六数最大值的可手验证明
论文针对 ReLU 网络深度问题，给出一个显式六边形恒等式，从而为「两个隐藏层足以精确计算六个实数最大值」提供可完全手工验证的解析证明。该恒等式由计算机辅助搜索发现，但证明仅依赖显式消去，无需运行验证程序。由此还构造出隐藏层宽度为 17 与 41、零偏置、有理权重的显式网络。
arXiv cs.LG27 天前
共 2 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文针对 ReLU 网络深度问题，给出一个显式六边形恒等式，从而为「两个隐藏层足以精确计算六个实数最大值」提供可完全手工验证的解析证明。该恒等式由计算机辅助搜索发现，但证明仅依赖显式消去，无需运行验证程序。由此还构造出隐藏层宽度为 17 与 41、零偏置、有理权重的显式网络。
论文给出学生-教师核模型下带偏置浅层 ReLU 网络的总体损失解析公式，扩展了 Choo & Saul 与 Brutzkus & Globerson 的早期工作，核心工具为 Owen's T 函数。研究证明以往文献中的多类伪极小值族在带偏置网络中依然存在，且加入偏置总能严格降低损失，但损失景观几何…