4 papers · 1 filter
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…
RT-NeuS: Towards Real-Time Neuro-Symbolic Video Understanding via Adaptive Temporal Verification
Shawn Liang, Sahil Shah, Chengwei Zhou +6
Long-form video question answering (LVQA) requires answering natural-language queries about videos spanning minutes to hours, demanding temporal reasoning across thousands of frame…
Rethinking Vision Transformer Depth via Structural Reparameterization
Chengwei Zhou, Vipin Chaudhary, Gourav Datta
The computational overhead of Vision Transformers in practice stems fundamentally from their deep architectures, yet existing acceleration strategies have primarily targeted algori…
ReDistill: Residual Encoded Distillation for Peak Memory Reduction of CNNs
Fang Chen, Gourav Datta, Mujahid Al Rafi +2
The expansion of neural network sizes and the enhanced resolution of modern image sensors result in heightened memory and power demands to process modern computer vision models. In…