arXiv · ML· Dimitrios Myrisiotis·· 6 小时前AI 评分26
证明 ReLU 网络深度下界可被有限计算见证的双向机制
A Witnessing Duality for ReLU Network Depth
AI 导读
针对 ReLU 网络求最大值函数时的深度下界，证明了弱算术理论 VTC⁰ 可见证该界：在固定参数 q 与深度上界 K 下，若网络输入数 n > q^K，理论能构造一个多项式长度的反例使网络出错。
来源：arXiv · ML · arxiv.org
证明 ReLU 网络深度下界可被有限计算见证的双向机制