Feature-Guided Analysis of Neural Networks.

Divya Gopinath, Luca Lungeanu,Ravi Mangal,Corina S. Pasareanu, Siqi Xie, Huanfeng Yu

FASE(2023)

引用 0|浏览40
暂无评分
摘要
Applying standard software engineering practices to neural networks is challenging due to the lack of high-level abstractions describing a neural network’s behavior. To address this challenge, we propose to extract high-level task-specific features from the neural network internal representation, based on monitoring the neural network activations. The extracted feature representations can serve as a link to high-level requirements and can be leveraged to enable fundamental software engineering activities, such as automated testing, debugging, requirements analysis, and formal verification, leading to better engineering of neural networks. Using two case studies, we present initial empirical evidence demonstrating the feasibility of our ideas.
更多
查看译文
关键词
neural networks,analysis,feature-guided
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要