Provable Robust Classification via Learned Smoothed Densities