DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration

Xuan Xie, Fuyuan Zhang

Deep neural networks (DNNs) are widely developed and applied in many areas, and the quality assurance of DNNs is critical. Neural network verification (NNV) aims to provide formal…