How sparsification and quantization build leaner AI