SCOP: Scientific Control for Reliable Neural Network Pruning (Supplementary Material) Y ehui T ang 1,2, Yunhe Wang

Through standard Schur complement calculation, the semi-definite condition can be derived, i.e., The knockoff data are generated by the generator and then sent to the discriminator to verify whether the knockoff condition (Definition 1) holds. The distribution of features w.r .t. samples are shown in Figure S1, and 10K samples are sampled from ImagNet dataset.