dorsal/arxiv
View SchemaBeyond Perfect Scores: Proof-by-Contradiction for Trustworthy Machine Learning
| Authors | Dushan N. Wadduwage, Dineth Jayakody, Leonidas Zimianitis |
|---|---|
| Categories | |
| ArXiv ID | 2601.06704vv1 |
| URL | https://arxiv.org/abs/2601.06704 |
| License | http://creativecommons.org/licenses/by/4.0/ |
Abstract
Machine learning (ML) models show strong promise for new biomedical prediction tasks, but concerns about trustworthiness have hindered their clinical adoption. In particular, it is often unclear whether a model relies on true clinical cues or on spurious hierarchical correlations in the data. This paper introduces a simple yet broadly applicable trustworthiness test grounded in stochastic proof-by-contradiction. Instead of just showing high test performance, our approach trains and tests on spurious labels carefully permuted based on a potential outcomes framework. A truly trustworthy model should fail under such label permutation; comparable accuracy across real and permuted labels indicates overfitting, shortcut learning, or data leakage. Our approach quantifies this behavior through interpretable Fisher-style p-values, which are well understood by domain experts across medical and life sciences. We evaluate our approach on multiple new bacterial diagnostics to separate tasks and models learning genuine causal relationships from those driven by dataset artifacts or statistical coincidences. Our work establishes a foundation to build rigor and trust between ML and life-science research communities, moving ML models one step closer to clinical adoption.
{
"annotation_id": "2ec93f89-b512-415e-a0ce-42f688f1ba68",
"date_created": "2026-02-17T05:53:08.720000Z",
"date_modified": "2026-02-17T05:53:08.720000Z",
"file_hash": "60e18178c48ee91c0e10695ee4aa54ba70e1af2cd0207972e93df9f908383a59",
"private": false,
"record": {
"abstract": "Machine learning (ML) models show strong promise for new biomedical prediction tasks, but concerns about trustworthiness have hindered their clinical adoption. In particular, it is often unclear whether a model relies on true clinical cues or on spurious hierarchical correlations in the data. This paper introduces a simple yet broadly applicable trustworthiness test grounded in stochastic proof-by-contradiction. Instead of just showing high test performance, our approach trains and tests on spurious labels carefully permuted based on a potential outcomes framework. A truly trustworthy model should fail under such label permutation; comparable accuracy across real and permuted labels indicates overfitting, shortcut learning, or data leakage. Our approach quantifies this behavior through interpretable Fisher-style p-values, which are well understood by domain experts across medical and life sciences. We evaluate our approach on multiple new bacterial diagnostics to separate tasks and models learning genuine causal relationships from those driven by dataset artifacts or statistical coincidences. Our work establishes a foundation to build rigor and trust between ML and life-science research communities, moving ML models one step closer to clinical adoption.",
"arxiv_id": "2601.06704",
"authors": [
"Dushan N. Wadduwage",
"Dineth Jayakody",
"Leonidas Zimianitis"
],
"categories": [
"cs.LG",
"cs.AI",
"cs.CV"
],
"license": "http://creativecommons.org/licenses/by/4.0/",
"title": "Beyond Perfect Scores: Proof-by-Contradiction for Trustworthy Machine Learning",
"url": "https://arxiv.org/abs/2601.06704",
"version": "v1"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "3d6799ba-aa4d-4669-a70b-538834ac8f00",
"id": "arXiv Dataset",
"type": "Model",
"variant": "snapshot-2026-01-17",
"version": "0.1.0"
},
"user_id": 1000002
}