Automatic Tensor-level Execution of Abstract Interpreters for Neural Networks

Avaljot Singh, Yasmin Chandini Sarita, Yamin Chandini Sarita +4

Developing new abstract interpretation-based DNN certifiers is difficult because their mathematical design is expressed at the neuron level, while implementations must operate at t…