5 papers
ObjectAlign: Neuro-Symbolic Object Consistency Verification and Correction
Mustafa Munir, Harsh Goel, Xiwen Wei +6
Video editing and synthesis often introduce object inconsistencies, such as frame flicker and identity drift that degrade perceptual quality. To address these issues, we introduce…
NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning
Sahil Shah, S P Sharan, Harsh Goel +5
While vision-language models (VLMs) excel at tasks involving single images or short videos, they still struggle with Long Video Question Answering (LVQA) due to its demand for comp…
A Challenge to Build Neuro-Symbolic Video Agents
Sahil Shah, Harsh Goel, Sai Shankar Narasimhan +4
Modern video understanding systems excel at tasks such as scene classification, object detection, and short video retrieval. However, as video analysis becomes increasingly central…
Real-Time Privacy Preservation for Robot Visual Perception
Minkyu Choi, Yunhao Yang, Neel P. Bhatt +6
Many robots (e.g., iRobot's Roomba) operate based on visual observations from live video streams, and such observations may inadvertently include privacy-sensitive objects, such as…
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
S P Sharan, Minkyu Choi, Sahil Shah +3
Recent advancements in text-to-video models such as Sora, Gen-3, MovieGen, and CogVideoX are pushing the boundaries of synthetic video generation, with adoption seen in fields like…