Supplementary Material for Neural Ensemble Search for Uncertainty Estimation and Shift A Proof of Proposition 3.1

Neural Information Processing Systems 

The plots show the NLL vs. ensemble sizes on CIFAR-10