MUC-G4 uses minimal unsat cores from the original network's SMT proof to guide and accelerate incremental verification of compressed neural networks, reporting speedups on ACAS Xu and MNIST.
In: 2017 IEEE Symposium on Security and Privacy (S&P 2017)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LG 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression
MUC-G4 uses minimal unsat cores from the original network's SMT proof to guide and accelerate incremental verification of compressed neural networks, reporting speedups on ACAS Xu and MNIST.