Scalable First-order Method for Certifying Optimal k-Sparse GLMs | Read Paper on Bytez