Certifying Some Distributional Fairness with Subpopulation Decomposition - Kang, Mintong; Li, Linyi; Weber, Maurice; Liu, Yang; Zhang, Ce; Li, Bo (Advances in Neural Information Processing Systems, 2022)