Shah, Sahil, S P Sharan, Harsh Goel, Minkyu Choi, Mustafa Munir, Manvik Pasula, Radu Marculescu, and Sandeep Chinchali. “NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 11 (March 14, 2026): 8805–8813. Accessed May 25, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/37834.