They used logistic regression, decision tree, XGBoost, and random forest algorithms. These are supervised binary classification algorithms.