4 papers
Recipe-Matching, Not Equivalence
Ali Habibullah, Mohammad Alshiekh, Yazan Alshoibi +2
MathNet-Retrieve asks a retriever to find, for a math problem, a document stating the same problem. An LLM under one fixed prompt writes each gold document and its near-miss distra…
Where LLM Graders Succeed and Break: Evidence from Two Computer-Science Exams
Ali Habibullah, Yazan Alshoibi, Mohammad Alshiekh +2
One long-form exam in a large course costs hundreds of grader-hours, and qualified graders are scarce; LLM graders are a tempting alternative. To show its pitfalls we grade a pract…
GridProbe: Posterior-Probing for Adaptive Test-Time Compute in Long-Video VLMs
Mohamed Eltahir, Lama Ayash, Ali Habibullah +2
Long-video understanding in VLMs is bottlenecked by a single monolithic forward pass over thousands of frames at quadratic attention cost. A common mitigation is to first select a…
VideoAtlas: Navigating Long-Form Video in Logarithmic Compute
Mohamed Eltahir, Ali Habibullah, Yazan Alshoibi +3
Extending language models to video introduces two challenges: representation, where existing methods rely on lossy approximations, and long-context, where caption- or agent-based p…