Formal Local Implication Between Two Neural Networks

Anahita Baninajjar, Ahmed Rezine, Amir Aminifar

Given two neural network classifiers with the same input and output domains, our goal is to compare the two networks in relation to each other over an entire input region (e.g., wi…