1 citations · 1 across the 15 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Salient Knowledge Pathways: Sparse Cross-Modal Routing for Efficient Knowledge-Intensive Multimodal Question Answering
Noor Islam S. Mohammad, Uluğ Bayazıt
Knowledge-intensive multimodal question answering (KI-MMQA) sits at the intersection of three expensive primitives: long visual token sequences, dense retrieval over large external…
cs.AI2026
Coherence Under Commitment: Probing Generalization and Vacuous Memorization in LLM Logical Reasoning
Noor Islam S. Mohammad, Mahmudul Hasan
Large language models (LLMs) deployed for logical reasoning in knowledge-intensive domains exhibit a subtle but critical failure: coherence can be vacuously achieved through system…
cs.AI2026
The Faithfulness Gap: Certifying Semantic Equivalence Between Natural-Language and Formal Mathematical Statements
Noor Islam S. Mohammad, Tamim Sheikh
Autoformalization, translating natural-language mathematics into formal proof assistants, is bottlenecked not by translation fluency but by \emph{faithfulness}: a formal statement…