A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors
Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia
Abstract
Abstract Even as deep neural networks have become very effective for tasks in vision and perception, it remains difficult to explain and debug their behavior. In this paper, we present a programmatic and semantic approach to explaining, understanding, and debugging the correct and incorrect behaviors of a neural network-based perception system. Our approach is semantic in that it employs a high-level representation of the distribution of environment scenarios that the detector is intended to work on. It is programmatic in that scenario representation is a program in a domainspecific probabilistic programming language which can be used to generate synthetic data to test a given perception module. Our framework assesses the performance of a per-ception module to identify correct and incorrect detections, extracts rules from those results that semantically characterizes the correct and incorrect scenarios, and then specializes the probabilistic program with those rules in order to more precisely characterize the scenarios in which the perception module operates correctly or not. We demonstrate our results using the SCENIC probabilistic programming language and a neural network-based object detector. Our experiments show that it is possible to automatically generate compact rules that significantly increase the correct detection rate (or conversely the incorrect detection rate) of the network and can thus help with understanding and debugging its behavior.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext e6a258d5-6bfb-45b2-b558-a07bed264877Cited by top-tier papers5
- MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception SystemsXinyu Gao, Zhijie Wang, Yang Feng, Lei Ma et al.ICSE 2024 · 14 citations
- Leveraging Feature Bias for Scalable Misprediction Explanation of Machine Learning ModelsJiri Gesi, Xinyun Shen, Yunfan Geng, Qihong Chen et al.ICSE 2023 · 8 citations
- Active Assessment of Prediction Services as Accuracy Surface Over Attribute CombinationsVihari Piratla, Soumen Chakrabarti, Sunita SarawagiNeurIPS 2021 · 4 citations
- TorchQL: A Programming Framework for Integrity Constraints in Machine LearningAaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik et al.OOPSLA 2024
- Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. PasareanuISSTA 2024
Builds on1
Related papers
- Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement LearningAbdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee et al.AAAI 2022 · 7 citations
- Towards verified stochastic variational inference for probabilistic programsWonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok YangPOPL 2020 · 22 citations
- Probabilistic Programming Bots in Intuitive Physics Game PlayFahad Alhasoun, Sarah AlnegheimishAAAI 2021 · 1 citation
- Language-Agnostic Static Analysis of Probabilistic ProgramsMarkus Böck, Michael Schröder, Jürgen CitoASE 2024 · 4 citations
- Synthesize, Execute and Debug: Learning to Repair for Neural Program SynthesisKavi Gupta, Peter Ebert Christensen, Xinyun Chen, Dawn SongNeurIPS 2020 · 68 citations
