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.
Nl2tl: Transforming natural languages to temporal log- ics using large language models, 2024
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.