Bayesian Deep Convolutional Networks with Many Channels are Gaussian Processes | Synapse