ProxyConvexity: AUnifiedFramework fortheAnalysisofNeuralNetworks TrainedbyGradientDescent