Timezone: »

Abstraction based Output Range Analysis for Neural Networks
Pavithra Prabhakar · Zahra Rahimi Afzal

Thu Dec 12 10:45 AM -- 12:45 PM (PST) @ East Exhibition Hall B + C #130

In this paper, we consider the problem of output range analysis for feed-forward neural networks. The current approaches reduce the problem to satisfiability and optimization solving which are NP-hard problems, and whose computational complexity increases with the number of neurons in the network. We present a novel abstraction technique that constructs a simpler neural network with fewer neurons, albeit with interval weights called interval neural network (INN) which over-approximates the output range of the given neural network. We reduce the output range analysis on the INNs to solving a mixed integer linear programming problem. Our experimental results highlight the trade-off between the computation time and the precision of the computed output range.

Author Information

Pavithra Prabhakar (Kansas State University)
Zahra Rahimi Afzal (Kansas State University)