基于形式验证的文本到视频模型的神经符号评估

数据集分析

提出NeuS-V，一种基于形式验证的神经符号指标，评估文本-视频对齐，相关性比现有指标高5倍。