On Certified Generalization in Structured Prediction

Structured prediction is the task of predicting an output which itself contains internal structure. As an example, consider the problem of image segmentation.