TY  - RPRT
TI  - A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications
AU  - Avaljot Singh
AU  - Yamin Chandini Sarita
AU  - Aditya Mishra
AU  - Ishaan Goyal
AU  - Gagandeep Singh
AU  - Charith Mendis
PY  - 2025
UR  - https://arxiv.org/abs/2507.20055
ID  - 2507.20055
ER  -