Fast SDP certification of neural networks : towards large multi-class datasets | Digital Library | PAMCET | PAMCET