51 citations · 94 across the 9 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
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★ 6 cited
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…