46 citations · 135 across the 9 of their papers we have counts for
3 papers · 1 filter
Verification of deep probabilistic models
Krishnamurthy Dvijotham, Marta Garnelo, Alhussein Fawzi +1
Probabilistic models are a critical part of the modern deep learning toolbox - ranging from generative models (VAEs, GANs), sequence to sequence models used in machine translation…
Neural Processes
Marta Garnelo, Jonathan Schwarz, Dan Rosenbaum +4
A neural network (NN) is a parameterised function that can be tuned via gradient descent to approximate a labelled collection of data with high precision. A Gaussian process (GP),…
Conditional Neural Processes
Marta Garnelo, Dan Rosenbaum, Chris J. Maddison +6
Deep neural networks excel at function approximation, yet they are typically trained from scratch for each new function. On the other hand, Bayesian methods, such as Gaussian Proce…