@misc{indiciae1ca4fc5fd632,
  title = {AutoSpec: Automated Generation of Neural Network Specifications},
  author = {Shuowei Jin and Taobo Liao and Anuj Kalia and Xenofon Foukas and Huan Zhang and Cheng Tan and Z. Morley Mao and Francis Y. Yan},
  year = {2026},
  url = {https://arxiv.org/abs/2409.10897},
  note = {Source identifier: 2409.10897}
}