The greatest challenge is knowing precisely what shifts are possible. It seems a tough problem to develop generalized or automated methods for.
The important aspect to remember is that there are many statistically equivalent decomposition of the data generating process, even when things are not causally conditional. If does not change, it does not matter, and the model can perform well regardless of the underlying beliefs. Further, models that satisfy the Kolmogorov consistency (e.g. Gaussian processes but not a probabilistic interpretation of SVM objective; see Quionero-Candela et. al.1 Section 1.4), the distribution of the covariates has no bearing on the conditional model by virtue of marginalization. But if the true causal model is different than assumed, and changes, then this implies an interventional change which will implicitly cause a change in . Finally, considering only the probabilistic model, without its decision-theoretic implications can be dangerous, e.g. models that don't factor for risk.
Dataset shift problems may come from mistakenly ignoring some features of the data. Including those features would essentially convert the dataset shift problem to simply the covariate shift problem. For instance, it appears adversarially easy to convert an auditory signal of "sixteen" to "sixty", but would be harder to convert visuals the same way. I think this highlights the importance of representation learning as an important ingredient of OOD robustness in itself.
Ovadia et. al.2 find that calibration on the validation set leads to well-calibrated predictions on the test set. Further, while temperature scaling can achieve low ECE for low values of shift, the ECE inceases significantly as the shift increases. They conclude that the calibration on the validation set does not guarantee calibration under distributional shift. Post-hoc temperature scaling doesn't necessarily fix this, and deep ensembles consistently provide higher predictive entropy on shifted datasets.
In a surprising twist though, Miller et. al.3 show that for a wide variety of (non-Bayesian) models, datasets, and hyperparameters, there is a strong linear correlation between in-distribution and out-of-distribution generalization performance. Hyperparameter tuning, early stopping, or changing the amount of i.i.d training data moves the models along the trend line, but does not alter the linear fit. The linear trends are constructed via probit scaling for more precise fits. Although, there are exceptions. Not all distribution shifts via corruptions on the CIFAR-10-C show a good linear fit (low values). Sometimes the trend lines change, i.e. the models do not move along an existing trend line.
Filos et. al.4 make the case that UCI datasets overfit very easily, and as a consequence the robust and scalable Bayesian inference methods have not made good progress. There is a qualitative difference between approximate inference with small and large models, which is not highlighted by the simpler benchmarks. Clearly, there is a gap.
Azulay et. al.5 ask why neither the convolutional architecture nor data augmentation are sufficient to achieve the designed invariances. Architectures ignore the classic sampling theorem, and data augmentation does not give invariance because the CNNs learn to be invariant to transforms that are very similar to the typical images from the training set. It is realized that the translation invariance actually does not hold for CNNs due to the subsampling steps (it holds in "literal" terms only at certain factors)
Sagawa et. al.6 argue that regularization may not be too important, such that models can be trained longer and generalize better "on average", but for good "worst-case" performance, regularization is important. The experiments show that by departing from the vanishingly-training-loss regime by (i) very strong regularization, and (ii) very early stopping, allows DRO models to significantly outperform ERM models on the worst-group test accuracy while maintaining high average accuracy. The authors propose a group-adjusted DRO estimator which is effectively a term where is a hyperparameter and is the group size, intuitively motivated by the fact that smaller groups are more prone to overfitting.
Arjovsky et. al.7 suggest that failing to generalize out-of-distribution is failing to capture the causal factors of variation in data, clinging instead to easier-to-fit spurious correlations, which are prone to change from training to testing domains.
Kirichenko et. al.8 argue that normalizing flows based on affine coupling layers are biased towards learning the low-level properties of the data such as local pixel correlations rather than semantic properties of the data. The maximum likelihood objective has a limited influence on OOD detection, relative to the inductive biases of the flow. Further, they show that the coupling layers co-adapt to make predictions. The simple fix around this issue is to change the masking strategy in the coupling layers to a cycle mask or add an information bottleneck to prevent coupling layer co-adaptation. More interestingly, using pretrained embeddings for natural images, or with the tabular datasets, none of these issues arise.
Gulrajani et. al.9 perform an exhaustive set of experiments to conclude that much of the progress over the last decade is beat by modern ERM itself. Table 2 provides a nice summary of all the learning-from-data problems we have to date, and the rest of the work aims to bring model selection to the fore. The main recommendation is that a domain generalization algorithm should be responsible for model selection. The authors provide a good set of datasets via their benchmark DOMAINBED. The authors also mostly identify four big ways to induce invariance for generalization:
Lan et. al.10 argue for the case that perfect density models cannot guarantee anomaly detection by showing that discrepancies like curse of dimensionality and distribution mismatch exist even with perfect densit models, and therefore goes beyond issues of estimation, approximation, or optimization errors. Two cases are highlighted - (i) one can map any distribution to a uniform distributions using an invertible transformation, but outlier detection in a uniform distribution is impossible. But an invertible transform preserves information, and therefore outlier detection should at least be as hard in any other representation different from uniform too! (ii) Along similar lines, there exist reparametrizations such that density under new representations matches a desired arbitrary score to mislead the density-based method into wrong classification of anomalies.
With high-fidelity approximate inference using full-batch HMC, Izmailove et. al.11 have eventually shown that under domain shift, SGLD/SGHMC are closer to deep ensembles (in terms of total variation distance and predictive agreement), than to the HMC posterior predictive. MFVI is even farther away from the HMC posterior. Data augmentation causes trouble with exact Bayesian inference, and therefore it appears reasonable to think that invariances should come through the prior, and not the likelihood term.
12 argues that the lack of robustness under covariate shift for Bayesian neural networks is fundamentally caused by linear dependencies in the inputs. Cold posteriors provide marginal but inconsistent improvements across a set of corruptions. BNNs show most competitive performance in-distribution and on the corruptions representing affine transformations.
The key intuition here is that along the directions of low variance in the eigenspace, the MAP solution would effectively set them to zero, whereas a BNN would still sample from the prior. This makes the MAP solutions more robust. Any perturbations orthogonal to this hyper-plane induced by (nearly-)constant projections will cause trouble with the BNN.
This reminds us of the case of Bayesian Lasso. The Laplace prior does not have enough mass around zero to be meaningfully sparse in practice with a Bayesian treatment. The MAP estimate is then in fact qualitatively very different.
Bommasani et. al.13 talks about the role of Foundation Models in creating models robust to distribution shifts, as existing work has shown that pretraining on unlabeled data is an effective and general purpose way to improve on OOD test distributions.
Ming et. al.14 aims to formalize the problem of OOD detection from the perspective of spurious (test samples that contain only the non-invariant features, e.g. environment) and non-spurious (test samples that contain no relevant features, e.g. outside the class altogether) data. This work provides evidence that spurious correlation hurts OOD detection. Although, the theoretical results tell a mixed story:
The invariant classifier learned does not necessarily only depend on invariant features, and it is possible to learn invariant classifier that relies on the environmental features while achieving lower risk that the optimal invariant classifier.
MEMO15 aims to introduce a plug-and-play method for test-time robustification of models via marginal entropy maximization with one test point.
Optimizing the model for more confident predictions can be justified from the assumption that the true underlying decision boundaries between classes lie in low density regions of the data space
Possible dataset shifts (See graphical models in Quionero-Candela et. al.1):
Quionero-Candela, Joaquin et al. “Dataset Shift in Machine Learning.” (2009). https://mitpress.mit.edu/9780262545877/dataset-shift-in-machine-learning/ ↩ ↩2
Azulay, Aharon and Yair Weiss. “Why do deep convolutional networks generalize so poorly to small image transformations?” J. Mach. Learn. Res. 20 (2018): 184:1-184:25. https://arxiv.org/abs/1805.12177 ↩ ↩2
Sagawa, Shiori et al. “Distributionally Robust Neural Networks for Group Shifts: On the Importance of Regularization for Worst-Case Generalization.” ArXiv abs/1911.08731 (2019). https://arxiv.org/abs/1911.08731 ↩ ↩2
Leibig, Christian et al. “Leveraging uncertainty information from deep neural networks for disease detection.” Scientific Reports 7 (2016). https://www.nature.com/articles/s41598-017-17876-z ↩
Blum, Hermann et al. “The Fishyscapes Benchmark: Measuring Blind Spots in Semantic Segmentation.” International Journal of Computer Vision 129 (2019): 3119 - 3135. https://link.springer.com/article/10.1007/s11263-021-01511-6 ↩