1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LG2020★ 1 cited
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
Dario Guidotti, Luca Pulina, Armando Tacchella
In this work, we present an early prototype of NeVer 2.0, a new system for automated synthesis and analysis of deep neural networks.NeVer 2.0borrows its design philosophy from NeVe…
cs.LG2020
Verification of Neural Networks: Enhancing Scalability through Pruning
Dario Guidotti, Francesco Leofante, Luca Pulina +1
Verification of deep neural networks has witnessed a recent surge of interest, fueled by success stories in diverse domains and by abreast concerns about safety and security in env…