Author

A. Tacchella

h-index 32 View on Semantic Scholar

We have 1 of 166 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

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 · 0 citations