BMiner speeds up Branch-and-Bound neural network verification by using exponential and gradient-guided search to skip subproblems on the way to each path's verdict boundary, cutting average verification time by 17–30%.
In: International Symposium on Auto- mated Technology for Verification and Analysis
1 Pith paper cite this work, alongside 25 external citations. Polarity classification is still indexing.
1
Pith paper citing it
25
external citations · OpenAlex
fields
cs.LG 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Mining Verdict Boundaries for Neural Network Verification
BMiner speeds up Branch-and-Bound neural network verification by using exponential and gradient-guided search to skip subproblems on the way to each path's verdict boundary, cutting average verification time by 17–30%.