Provably Adversarially Robust Detection of Out-of-Distribution Data (Almost) for Free - Meinke, Alexander; Bitterwolf, Julian; Hein, Matthias (Advances in Neural Information Processing Systems, 2022)