TY  - RPRT
TI  - Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
AU  - Vikash Singh
AU  - Debargha Ganguly
AU  - Haotian Yu
AU  - Chengwei Zhou
AU  - Prerna Singh
AU  - Brandon Lee
AU  - Vipin Chaudhary
AU  - Gourav Datta
PY  - 2026
UR  - https://arxiv.org/abs/2602.24111
ID  - 2602.24111
ER  -