NeuralActiveLearningwithPerformance Guarantees