★ 2
高斯加权脊波变换给出无限维神经网络构造性通用逼近
论文将脊波变换扩展到可分无限维希尔伯特空间上的连续映射，用高斯权重替代无穷维中不存在的勒贝格测度，得到 Plancherel 恒等式与重构公式。由此对包括 ReLU 在内的多项式增长激活函数给出紧集上的一致逼近，并附 Lean 4 机器验证证明。
arXiv cs.LG13 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文将脊波变换扩展到可分无限维希尔伯特空间上的连续映射，用高斯权重替代无穷维中不存在的勒贝格测度，得到 Plancherel 恒等式与重构公式。由此对包括 ReLU 在内的多项式增长激活函数给出紧集上的一致逼近，并附 Lean 4 机器验证证明。