AdversarialRobustnesswithSemi-Infinite ConstrainedLearning