OKRidge: Scalable Optimal k-Sparse Ridge Regression - Liu, Jiachang; Rosen, Sam; Zhong, Chudi; Rudin, Cynthia (Advances in Neural Information Processing Systems, 2023)