AutoSpec: Automated Generation of Neural Network Specifications

Shuowei Jin, Taobo Liao, Anuj Kalia +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…