Haotian Yu

1. Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
   2026/02/27 by Vikash Singh, Debargha Ganguly, Haotian Yu +5 · 2 voices
   #cs.CV #cs.AI #cs.CL #cs.LO
2. Evolution-Aware MSA Reasoning for Subsampling via Factor Graphs
   2026/07/24 by Zhangzhi Xiong, Minzhang Li, Haotian Yu +6
   #cs.LG