Beyond Perfect Scores: Proof-by-Contradiction for Trustworthy Machine Learning. - Dushan N. Wadduwage; Dineth Jayakody; Leonidas Zimianitis (CoRR, 2026)