@misc{indiciae7abcaa4f7c4e,
  title = {Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification},
  author = {S P Sharan and Minkyu Choi and Sahil Shah and Harsh Goel and Mohammad Omama and Sandeep Chinchali},
  year = {2025},
  url = {https://arxiv.org/abs/2411.16718},
  note = {Source identifier: 2411.16718}
}