Shah, S. (2026) “NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(11), pp. 8805–8813. doi: 10.1609/aaai.v40i11.37834.