Efficient Uncertainty Quantification and Reduction for Over-Parameterized Neural Networks - Huang, Ziyi; Lam, Henry; Zhang, Haofeng (Advances in Neural Information Processing Systems, 2023)