Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
Dataset Analysis
Introduces NeuS-V, a neuro-symbolic metric using formal verification to evaluate text-to-video alignment, outperforming existing metrics by 5x correlation with human judgments.
Provenance
Collected from papers.
Derived from paper: Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification