Google AI Introduces CHITA: An Optimization-based Approach for Pruning Pre-Trained Neural Networks at Scale 08/21/2023