S. Shah, “NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning”, AAAI, vol. 40, no. 11, pp. 8805–8813, Mar. 2026.