TY  - RPRT
TI  - AutoSpec: Automated Generation of Neural Network Specifications
AU  - Shuowei Jin
AU  - Taobo Liao
AU  - Anuj Kalia
AU  - Xenofon Foukas
AU  - Huan Zhang
AU  - Cheng Tan
AU  - Z. Morley Mao
AU  - Francis Y. Yan
PY  - 2026
UR  - https://arxiv.org/abs/2409.10897
ID  - 2409.10897
ER  -