paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Documenting evidence of a reuse of ‘on the number of linear regions of deep neural networks’

记录对《论深度神经网络的线性区域数量》一次重用的证据
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 2/10 · 该论文仅记录 Montufar 等人关于 ReLU 网络线性区域下界定理在 TSE'21 论文中的复用证据,属于深度学习理论在软件工程中的引用/复现记录,不涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等核心方向。引用 0 inbox
Rahul Yedida, Tim Menzies
crossref: 2026-09-12

AI 速览

一句话:记录 Yedida 与 Menzies 在 TSE'21 论文中重用 Montufar 等人 ReLU 网络线性区域下界定理的证据。

本文记录了一项深度学习理论洞见在软件工程研究中的重用证据:Yedida 与 Menzies 在 TSE'21 论文中使用了 Montufar 等人关于带 ReLU 激活的前馈神经网络决策边界分段线性区域数量下界的结论。具体而言,作者文档化了该论文对 Montufar 等人定理 4 的重用。该工作属于可复现性与重用证据记录,并未提出新的神经网络理论或程序语言技术;它展示了深度学习理论结果如何被软件工程论文引用与复用,并保留其来源与使用方式。

问题
如何记录并验证软件工程论文中重用的深度学习理论结果,具体是 Montufar 等关于 ReLU 前馈网络决策边界分段线性区域下界的定理 4 在 TSE'21 论文中的使用。
方法
通过文档化方式追踪并报告 Yedida 与 Menzies 论文对 Montufar 等人定理 4 的重用证据,记录所复用的理论 artifact。
评估
以证据文档形式确认该定理在 TSE'21 论文中的重用;摘要未提及新的实验评估或基准测试。
原文摘要(Abstract)

We report here the reuse of theoretical insights from deep learning literature, used in a recent TSE '21 paper by Yedida & Menzies. The artifact replicated is the lower bound on the number of piecewise linear regions in the decision boundary of a feedforward neural network with ReLU activations, as studied by Montufar et al. We document the reuse of Theorem 4 from Montufar et al. by Yedida & Menzies.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6428,
  title = {Documenting evidence of a reuse of ‘on the number of linear regions of deep neural networks’},
  author = {Rahul Yedida and Tim Menzies},
  booktitle = {FSE},
  year = {2021},
  doi = {10.1145/3468264.3477213}
}