Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation

Luca Marzari, Isabella Mastroeni, Alessandro Farinelli

Traditional methods for formal verification (FV) of deep neural networks (DNNs) are constrained by a binary encoding of safety properties, where a model is classified as either saf…