Minkyu Choi*, S P Sharan*, Sahil Shah, Harsh Goel, Mohammad Omama, and Sandeep Chinchali
Computer Vision and Pattern Recognition (CVPR), 2025
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
Neuro Symbolic Video Search with Temporal Logic
Minkyu Choi, Harsh Goel, Mohammad Omama, Yunhao, Yang, Sahil Shah, and Sandeep Chinchali
European Conference on Computer Vision (ECCV), 2024 – Accepted for oral presentation!