Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification.

S. P. Sharan, Minkyu Choi, Sahil Shah, Harsh Goel, Mohammad Omama, Sandeep Chinchali

Browse the full CVPR paper archive.