A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications

Avaljot Singh, Yamin Chandini Sarita, Aditya Mishra +3

The uninterpretability of DNNs has led to the adoption of abstract interpretation-based certification as a practical means to establish trust in real-world systems that rely on DNN…