On Improving Deep Active Learning with Formal Verification

Jonathan Spiegelman, Guy Amir, Guy Katz

Deep Active Learning (DAL) aims to reduce labeling costs in neural-network training by prioritizing the most informative unlabeled samples for annotation. Beyond selecting which sa…