Robust Contrastive Learning With Theory Guarantee