@misc{indiciaee468c5f91a9f,
  title = {Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification},
  author = {Vikash Singh and Debargha Ganguly and Haotian Yu and Chengwei Zhou and Prerna Singh and Brandon Lee and Vipin Chaudhary and Gourav Datta},
  year = {2026},
  url = {https://arxiv.org/abs/2602.24111},
  note = {Source identifier: 2602.24111}
}