A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications. - Avaljot Singh; Yamin Chandini Sarita; Aditya Mishra; Ishaan Goyal; Gagandeep Singh 001; Charith Mendis (CoRR, 2025)