Certifiable Out-of-Distribution Generalization. - Nanyang Ye 001; Lin Zhu; Jia Wang 031; Zhaoyu Zeng; Jiayao Shao; Chensheng Peng; Bikang Pan; Kaican Li; Jun Zhu 001 (AAAI, 2023)