A logical alarm for misaligned binary classifiers. - Andrés Corrada-Emmanuel; Ilya Parker; Ramesh Bharadwaj (CoRR, 2024)