Random Pruning Over-parameterized Neural Networks Can Improve Generalization: A Training Dynamics Analysis (Journal of Machine Learning Research, 2026)