Shah, S.; Sharan, S. P.; Goel, H.; Choi, M.; Munir, M.; Pasula, M.; Marculescu, R.; Chinchali, S. NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning. AAAI 2026, 40, 8805-8813.