Privacy-Preserving Robustness Verification for Neural Networks
arXiv:2607.05251v1 Announce Type: cross Abstract: Neural network verification and data privacy are inherently in tension: verification demands full access to model parameters and input data, yet both