CVPR 2025 poster

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

6citations

6

Citations

#543

in CVPR 2025

of 2873 papers

6

Authors

1

Data Points

Authors

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

Citation History

Jan 24, 2026

6