paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Decomposition of Deep Neural Networks into Modules via Mutation Analysis

基于变异分析的深度神经网络模块分解
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 3/10 · 该论文属于机器学习与软件工程/测试调试交叉,使用变异分析对DNN进行模块分解,与用户关注的PL与AI结合方向仅有较弱的间接关联;它不涉及Agentic程序、LLM辅助静态分析、浮点程序分析或贝叶斯程序分析。引用 4 inbox
Ali Ghanbari
crossref: 2026-09-12

AI 速览

一句话:提出 Incite,用神经元变异量化贡献并抽取高贡献子图作为模块,适用于分类与回归模型。

本文针对深度神经网络分类器模块分解方法适用性受限的问题,提出名为 Incite 的分解技术。Incite 使用神经元变异量化每个神经元对指定模型输出的贡献,再为每个输出选择贡献最高的节点诱导子图并抽取为模块。该方法不依赖模型类型与激活函数,也适用于回归模型;同时通过启发式神经元聚类降低变异分析成本,并裁剪对模块结果无贡献的神经元以生成压缩模块。作者在 16 个分类与回归 DNN 模型上评估模块精度/MAE、模块间元素重叠与压缩率。分类任务平均精度损失 3.44%,模块平均重叠 71.76%,平均压缩率 1.89 倍;回归任务 MAE 平均改善 18.56%,模块重叠 80.14%,平均压缩率 1.83 倍。

问题
现有 DNN 分类器分解方法多仅面向分类问题,且部分依赖神经元激活模式,限制了其适用范围。
方法
Incite 通过神经元变异量化神经元对模型输出的贡献,为每个输出抽取高贡献节点诱导子图作为模块,并用启发式神经元聚类降低变异分析成本、裁剪无关神经元。
评估
在 16 个分类与回归 DNN 模型上评估模块精度/MAE、模块间重叠和压缩率,报告分类平均精度损失 3.44%、回归 MAE 平均改善 18.56%,以及约 71.76%/80.14% 的重叠与 1.89/1.83 倍压缩。
原文摘要(Abstract)

Recently, several approaches have been proposed for decomposing deep neural network (DNN) classifiers into binary classifier modules to facilitate modular development and repair of such models. These approaches concern only the problem of decomposing classifier models, and some of them rely on the activation patterns of the neurons, thereby limiting their applicability. In this paper, we propose a DNN decomposition technique, named Incite, that uses neuron mutation to quantify the contributions of the neurons to a given output of a model. Then, for each model output, a subgraph induced by the nodes with highest contribution scores for that output are selected and extracted as a module. Incite is agnostic to the type of the model and the activation functions used in its construction, and is applicable to not just classifiers, but to regression models as well. Furthermore, the costs of mutation analysis in Incite has been reduced by heuristic clustering of neurons, enabling its application to models with millions of parameters. Lastly, Incite prunes away the neurons that do not contribute to the outcome of the modules, producing compressed, efficient modules. We have evaluated Incite using 16 DNN models for well-known classification and regression problems and report its effectiveness along combined accuracy (and MAE) of the modules, the overlap in model elements between the modules, and the compression ratio. We observed that, for classification models, Incite, on average, incurs 3.44% loss in accuracy, and the average overlap between the modules is 71.76%, while the average compression ratio is 1.89X. Meanwhile, for regression models, Incite, on average, incurs 18.56% gain in MAE, and the overlap between modules is 80.14%, while the average compression ratio is 1.83X.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot8445,
  title = {Decomposition of Deep Neural Networks into Modules via Mutation Analysis},
  author = {Ali Ghanbari},
  booktitle = {ISSTA},
  year = {2024},
  doi = {10.1145/3650212.3680390}
}