AutoSpec: Automated Generation of Neural Network Specifications

Shuowei Jin, Francis Y. Yan, Taobo Liao +5

The increasing adoption of neural networks in learning-augmented systems highlights the growing need for model safety and robustness, especially in safety-critical domains. While r…