Fig.2: Pipeline of our object detection (OD) verification framework, combining verifier
bounds, candidate selection, and optimal IoU bound derivation to reach ROBUST,
NONROBUST or UNKNOWN conclusions.