Return to Article Details Provable Guarantees for Deep Learning-Based Anomaly Detection through Logical Constraints Download Download PDF