Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2022.3197534
Abstract: Safety and robustness properties are highly required for neural networks deployed in safety-critical applications. Current complete verification techniques of these properties suffer from the lack of efficiency and effectiveness. In this article, we present an… read more here.
Keywords: safety robustness; neural networks; verification; via layerwised ... See more keywords