Conference
Open access
Sep 2026
Leveraging Over-Parameterization to Improve the Verifiability of Neural Networks
It is demonstrated that over-parameterization can be exploited not merely to enhance generalization, but also to mitigate neuron instability, one of the parameters affecting the efficiency of verification.
A. Gimelli, Luca Oneto, A. Tacchella
· Proceedings of the Thirty-Fi... · 0 citations