Efficient Neural Network Approximation via Bayesian Reasoning