Loading Open Internet
    Balancing Mathematical Rigor and Empirical Progress in Machine Learning