SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression

ArXi:2603.14818v1 Announce Type: cross Deploying Deep Neural Networks (DNNs) on resource-constrained embedded systems requires aggressive model compression techniques like quantization and pruning. However, ensuring that the compressed model preserves the behavioral fidelity of the original design is a critical challenge in the safety-critical system design flow. Existing verification methods often lack scalability or fail to handle the architectural heterogeneity