A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Edward Kim, Divya Gopinath, Corina Pasareanu, Sanjit Seshia

TL;DR
This paper introduces a semantic and programmatic framework for explaining, understanding, and debugging neural network-based object detectors by generating rules that improve detection accuracy and clarify operational scenarios.
Contribution
It presents a novel approach combining high-level scenario representation with probabilistic programming to analyze and enhance neural perception systems.
Findings
Automatically generated rules improve detection accuracy.
Framework identifies scenarios leading to correct or incorrect detections.
Semantic rules help in debugging neural network behavior.
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 domain-specific probabilistic programming language which can be used to generate synthetic data to test a given perception module. Our framework assesses the performance of a perception module to identify correct and incorrect detections, extracts rules from those results that semantically characterizes the correct and incorrect…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsExplainable Artificial Intelligence (XAI) · Adversarial Robustness in Machine Learning · Machine Learning and Data Classification
MethodsTest
