G. Einziger, M. Goldstein, Y. Sa’ar, and I. Segall, “Verifying Robustness of Gradient Boosted Models”, AAAI, vol. 33, no. 01, pp. 2446-2453, Jul. 2019.