Efficient machine learning for any model and hardware: pruning, quantization, compilation, and more.