Convergence Guarantees for Adaptive Bayesian Quadrature Methods - Kanagawa, Motonobu; Hennig, Philipp (Advances in Neural Information Processing Systems, 2019)