Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification

Vikash Singh, Debargha Ganguly, Haotian Yu +5

Vision-language models (VLMs) show promise in drafting radiology reports, yet they frequently suffer from logical inconsistencies, generating diagnostic impressions unsupported by…