Provably Robust Machine Learning Through Structure-Aware Computation