[2406.03944] Provably Neural Active Learning Succeeds via Prioritizing Perplexing Samples