Shah, S., Sharan, S. P., Goel, H., Choi, M., Munir, M., Pasula, M., … Chinchali, 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), 8805–8813. https://doi.org/10.1609/aaai.v40i11.37834