@article{autospec,
  title = {{AutoSpec: Automated Generation of Neural Network Specifications}},
  author = {Shuowei Jin and Francis Y. Yan and Cheng Tan and Anuj Kalia and Xenofon Foukas and Z. Morley Mao},
  journal = {Preprint arXiv:2409.10897},
  month = sep,
  year = 2024,
}