@article{atensorbasedcompilerandaruntimeforneuron,
  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},
  eprint = {2507.20055},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2507.20055},
}