Corrects a claim about IoU loss being submodular, showing it's true.
problem Clarifies the submodularity of IoU loss function.
method Analyzes the misreading of set membership in previous claims.
result Demonstrates that the previous claims about IoU loss are incorrect.