A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors

12/01/2019
by   Edward Kim, et al.
39

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 the representation is a program in a domain-specific probabilistic programming language using which synthetic data can be generated to train and test the neural network. We present a framework that assesses the performance of the neural network 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 neural network operates correctly or not, without human intervention to identify important features. 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 debugging and understanding its behavior.

READ FULL TEXT

page 1

page 4

page 11

page 12

page 15

page 16

research
10/13/2020

Scenic: A Language for Scenario Specification and Data Generation

We propose a new probabilistic programming language for the design and a...
research
10/31/2016

Inference Compilation and Universal Probabilistic Programming

We introduce a method for using deep neural networks to amortize the cos...
research
09/25/2018

Scenic: Language-Based Scene Generation

Synthetic data has proved increasingly useful in both training and testi...
research
09/30/2018

Extending Stan for Deep Probabilistic Programming

Deep probabilistic programming combines deep neural networks (for automa...
research
05/14/2020

Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI

We demonstrate a unified approach to rigorous design of safety-critical ...
research
08/07/2023

Simple synthetic data reduces sycophancy in large language models

Sycophancy is an undesirable behavior where models tailor their response...
research
03/08/2023

A General Theory of Correct, Incorrect, and Extrinsic Equivariance

Although equivariant machine learning has proven effective at many tasks...

Please sign up or login with your details

Forgot password? Click here to reset