TY  - RPRT
TI  - Beyond Perfect Scores: Proof-by-Contradiction for Trustworthy Machine Learning
AU  - Dushan N. Wadduwage
AU  - Dineth Jayakody
AU  - Leonidas Zimianitis
PY  - 2026
UR  - https://arxiv.org/abs/2601.06704
ID  - 2601.06704
ER  -