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

arXiv:2602.24111v2 Announce Type: replace-cross Abstract: Vision-language models (VLMs) show promise in drafting radiology reports, yet they frequently suffer from logical inconsistencies, generating diagnostic impressions unsupported by their own perceptual f