@misc{indiciaec754afe60027,
  title = {A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications},
  author = {Avaljot Singh and Yamin Chandini Sarita and Aditya Mishra and Ishaan Goyal and Gagandeep Singh and Charith Mendis},
  year = {2025},
  url = {https://arxiv.org/abs/2507.20055},
  note = {Source identifier: 2507.20055}
}