Adaptive Batch Sizes for Active Learning: A Probabilistic Numerics Approach. | AMiner