NeuS-V evaluates text-to-video alignment by converting prompts to temporal logic specifications and formally verifying a video automaton, and it correlates more strongly with human judgments than VBench.
Principles of Model Checking
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CV 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
NeuS-V evaluates text-to-video alignment by converting prompts to temporal logic specifications and formally verifying a video automaton, and it correlates more strongly with human judgments than VBench.