Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification | Read Paper on Bytez