Search Results for author:
Found 2 papers, 0 papers with code
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
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 NeVer, the first package that integrated learning, automated verification and repair of (shallow) neural networks in a single tool.
Verification of Neural Networks: Enhancing Scalability through Pruning
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 envisaged applications.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
