Anuj Kalia

AutoSpec: Automated Generation of Neural Network Specifications

2024 · arXiv (Cornell University)

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 recent advances in neural network verification offer formal guarantees on worst-case behavior, …