Einziger, G.; Goldstein, M.; Sa’ar, Y.; Segall, I. Verifying Robustness of Gradient Boosted Models. AAAI 2019, 33, 2446-2453.