TY  - RPRT
TI  - Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
AU  - S P Sharan
AU  - Minkyu Choi
AU  - Sahil Shah
AU  - Harsh Goel
AU  - Mohammad Omama
AU  - Sandeep Chinchali
PY  - 2025
UR  - https://arxiv.org/abs/2411.16718
ID  - 2411.16718
ER  -