(Almost) Provable Error Bounds Under Distribution Shift via Disagreement Discrepancy - Rosenfeld, Elan; Garg, Saurabh (Advances in Neural Information Processing Systems, 2023)