PatchDEMUX: A Certifiably Robust Framework for Multi-label Classifiers Against Adversarial Patches