as well as a corresponding L1-regularized Support Vector Machine formulation with formal guarantees in sample