Theory-Guided Algorithm Design For Scalable Machine Learning