Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification | Paper Citation Record

Observation 2012c825-aedf-489b-ac78-0f628535be39 · outbound

This paper cites GPT-4 Technical Report.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification GPT-4 Technical Report

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:21.840317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e40035c4-23c2-4057-a9d7-4fc2f9cda136 · outbound

This paper cites Llama 3.2: Revolutionizing edge ai and vision with open, customizable models.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Llama 3.2: Revolutionizing edge ai and vision with open, customizable models

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.424276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 964aef64-e29a-4662-8678-1704332f6d35 · outbound

This paper cites Principles of Model Checking.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Principles of Model Checking

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.408131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e5ad5ca7-8e41-4990-b1c6-0164cd217775 · outbound

This paper cites Align your latents: High-resolution video synthesis with la- tent diffusion models.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Align your latents: High-resolution video synthesis with la- tent diffusion models

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:21.856160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23cf971d-dffd-4190-8e34-376f11f239f6 · outbound

This paper cites Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.383281Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b72d4162-44bd-444d-b53f-5b945079acab · outbound

This paper cites Storybench: A multifaceted benchmark for continuous story visualization, 2023.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Storybench: A multifaceted benchmark for continuous story visualization, 2023

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.351588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d94f6ee4-7cfc-4c7c-9d70-5ddd02f89d3e · outbound

This paper cites Microsoft COCO Captions: Data Collection and Evaluation Server.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Microsoft COCO Captions: Data Collection and Evaluation Server

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:21.875007Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10a2d920-50de-468b-9b90-14dc47075204 · outbound

This paper cites Nl2tl: Transforming natural languages to temporal log- ics using large language models, 2024.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Nl2tl: Transforming natural languages to temporal log- ics using large language models, 2024

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.336966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 51f155c3-3c35-45f9-a22a-44d4299e0997 · outbound

This paper cites Measuring the Quality of Text-to-Video Model Outputs: Metrics and Dataset.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Measuring the Quality of Text-to-Video Model Outputs: Metrics and Dataset

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:21.884353Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77a0696e-5338-491b-a46c-c10a4250b74b · outbound

This paper cites Towards neuro- symbolic video understanding.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Towards neuro- symbolic video understanding

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.321679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5558303e-58d1-48f1-b6a6-15dd5d2fafff · outbound

This paper cites Sora Detector: A Unified Hallucination Detection for Large Text-to-Video Models.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Sora Detector: A Unified Hallucination Detection for Large Text-to-Video Models

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:21.893694Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a9954c8-2d77-47bc-aaf7-649240347a71 · outbound

This paper cites Clarke, Orna Grumberg, and Doron A.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Clarke, Orna Grumberg, and Doron A

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.306128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 08ea9a92-4ca8-4e71-8425-78735c7a8242 · outbound

This paper cites Allen Emerson.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Allen Emerson

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.289731Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation fe51edc2-47a4-44ed-9664-c86e5b3728bb · outbound

This paper cites Structure and content-guided video synthesis with diffusion models.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Structure and content-guided video synthesis with diffusion models

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:21.907665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73f59b18-2fb3-434c-a8a2-29ec999419c5 · outbound

This paper cites Pytorchvideo: A deep learning li- brary for video understanding.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Pytorchvideo: A deep learning li- brary for video understanding

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.264254Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 281c7401-6ffb-457a-b9d7-48afa78b3874 · outbound

This paper cites TC-Bench: Benchmarking Temporal Compositionality in Text-to-Video and Image-to-Video Generation.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification TC-Bench: Benchmarking Temporal Compositionality in Text-to-Video and Image-to-Video Generation

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:21.916622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2507997f-e589-431d-b227-3b0d89e3ab26 · outbound

This paper cites Nl2ltl – a python package for converting natural language (nl) instruc- tions to linear temporal logic (ltl) formulas.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Nl2ltl – a python package for converting natural language (nl) instruc- tions to linear temporal logic (ltl) formulas

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.249571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9b728dc2-e6bb-418e-bd17-64e86c720cbd · outbound

This paper cites Videoscore: Building auto- matic metrics to simulate fine-grained human feedback for video generation, 2024.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Videoscore: Building auto- matic metrics to simulate fine-grained human feedback for video generation, 2024

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.233599Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 13d02dc8-5f20-4edd-af67-1f5cecbf94b9 · outbound

This paper cites The Probabilistic Model Checker Storm.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification The Probabilistic Model Checker Storm

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:21.930057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93b46110-81d0-43bf-96c1-eb831e269877 · outbound

This paper cites Denoising dif- fusion probabilistic models.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Denoising dif- fusion probabilistic models

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:21.934999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a97a529-eda6-4b44-9424-aec28eb66a84 · outbound

This paper cites Make it move: Controllable image-to-video generation with text descrip- tions, 2022.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Make it move: Controllable image-to-video generation with text descrip- tions, 2022

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.209310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 548969c0-6e22-434e-8eb1-b76015f588da · outbound

This paper cites T2i-compbench: A comprehensive bench- mark for open-world compositional text-to-image genera- tion.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification T2i-compbench: A comprehensive bench- mark for open-world compositional text-to-image genera- tion

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.194025Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9bf8b5e0-75b9-48a5-8ee2-c5c9b9223871 · outbound

This paper cites Vbench: Comprehensive bench- mark suite for video generative models.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Vbench: Comprehensive bench- mark suite for video generative models

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:21.947981Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6e60b85-d3fa-4b24-a418-fcc645c65939 · outbound

This paper cites Logic in Computer Science: Modelling and Reasoning about Systems.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Logic in Computer Science: Modelling and Reasoning about Systems

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.169428Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 722f48ea-01b1-47b6-be50-336cbe588147 · outbound

This paper cites Peekaboo: Interactive video generation via masked- diffusion, 2024.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Peekaboo: Interactive video generation via masked- diffusion, 2024

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.155080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e8202b47-3b36-48cc-b4ae-7a7da1db6785 · outbound

This paper cites T2vbench: Benchmarking temporal dynamics for text-to- video generation.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification T2vbench: Benchmarking temporal dynamics for text-to- video generation

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.140851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 451f920c-dbe0-4b2f-bc29-0c5d8893ca45 · outbound

This paper cites T2vbench: Benchmarking temporal dynamics for text-to- video generation.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification T2vbench: Benchmarking temporal dynamics for text-to- video generation

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.125611Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 8ff4d888-bd39-4f56-83dc-e42099dc3c3e · outbound

This paper cites Stormpy - python bind- ings for storm, 2021.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Stormpy - python bind- ings for storm, 2021

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.110995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation fa4a580f-1d92-41bc-b7ae-e6d5b0759e1f · outbound

This paper cites Kemeny and J.L.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Kemeny and J.L

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.095564Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 94e37493-9c39-46ef-a091-6a4cdf4c3ee7 · outbound

This paper cites Joshi, Hanna Moazam, Heather Miller, Matei Zaharia, and Christopher Potts.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Joshi, Hanna Moazam, Heather Miller, Matei Zaharia, and Christopher Potts

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.081041Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 779a7ad8-e2e0-4852-91c1-3fe7079539a5 · outbound

This paper cites Subjective-aligned dataset and metric for text-to-video qual- ity assessment, 2024.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Subjective-aligned dataset and metric for text-to-video qual- ity assessment, 2024

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.066555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 50f4f1b9-a681-42ca-83e3-cb91a5bd82af · outbound

This paper cites Evaluating and improving com- positional text-to-visual generation.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Evaluating and improving com- positional text-to-visual generation

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.051498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5c9ca3b3-9ba9-4567-bbee-5a2766463675 · outbound

This paper cites Reward Guided Latent Consistency Distillation.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Reward Guided Latent Consistency Distillation

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:21.991425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d4e8c6e-447c-451c-8788-3dcf96766249 · outbound

This paper cites T2V-Turbo: Breaking the Quality Bottleneck of Video Consistency Model with Mixed Reward Feedback.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification T2V-Turbo: Breaking the Quality Bottleneck of Video Consistency Model with Mixed Reward Feedback

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:21.996386Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f63e0955-cdaa-4896-893c-86203099c359 · outbound

This paper cites T2v- turbo-v2: Enhancing video generation model post-training through data, reward, and conditional guidance design.arXiv preprint arXiv:2410.05677, 2024.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification T2v- turbo-v2: Enhancing video generation model post-training through data, reward, and conditional guidance design.arXiv preprint arXiv:2410.05677, 2024

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:22.001017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 889db70a-03c4-491a-9925-7e6f5dc397b9 · outbound

This paper cites Ground- ing complex natural language commands for temporal tasks in unseen environments.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Ground- ing complex natural language commands for temporal tasks in unseen environments

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.036965Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation dee4706e-ac74-4d53-bc5e-bbc4cb3942e3 · outbound

This paper cites Fetv: A bench- mark for fine-grained evaluation of open-domain text-to- video generation, 2023.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Fetv: A bench- mark for fine-grained evaluation of open-domain text-to- video generation, 2023

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.022279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f905f5d2-ef16-447a-b3fa-5ed569070427 · outbound

This paper cites Evalcrafter: Benchmarking and eval- uating large video generation models.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Evalcrafter: Benchmarking and eval- uating large video generation models

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:23.006849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 49286adc-1389-4adb-9945-ed3d1b1de31d · outbound

This paper cites Evalcrafter: Benchmarking and eval- uating large video generation models, 2024.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Evalcrafter: Benchmarking and eval- uating large video generation models, 2024

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.991516Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d2853179-ad90-4173-aedf-6e97d4d4b553 · outbound

This paper cites Fetv: A bench- mark for fine-grained evaluation of open-domain text-to- video generation.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Fetv: A bench- mark for fine-grained evaluation of open-domain text-to- video generation

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.975519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 3a3b1ba7-8cfb-46a6-8704-21059dde86ed · outbound

This paper cites Video-ChatGPT: Towards Detailed Video Understanding via Large Vision and Language Models.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Video-ChatGPT: Towards Detailed Video Understanding via Large Vision and Language Models

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:22.038206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4629eb44-2be6-459f-9cb0-249e236e39ea · outbound

This paper cites The Temporal Logic of Re- active and Concurrent Systems: Specification.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification The Temporal Logic of Re- active and Concurrent Systems: Specification

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.960489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9bf9101c-a398-467a-96f7-2834d7ad3373 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Unresolved cited work

Reference 44

Resolution: unresolved; raw_fallback, observed 2026-08-12T14:26:22.946138Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 534af4a2-759d-4a76-a15f-fb596604b1d8 · outbound

This paper cites Internvl 2.0: A suite of multimodal large lan- guage models for vision and language tasks.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Internvl 2.0: A suite of multimodal large lan- guage models for vision and language tasks

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.931423Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1d8d5084-9c3e-4567-a35b-ed7710a71376 · outbound

This paper cites Optimizing instructions and demonstrations for multi-stage language model programs, 2024.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Optimizing instructions and demonstrations for multi-stage language model programs, 2024

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.916732Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 3c1873eb-368e-419c-9b9e-cdda00a0204e · outbound

This paper cites Data-efficient learning of natural language to linear temporal logic transla- tors for robot task specification, 2023.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Data-efficient learning of natural language to linear temporal logic transla- tors for robot task specification, 2023

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.901958Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 21b8fc4a-dd8c-46f6-9be8-573271c2f008 · outbound

This paper cites Graph neural network (gnn) in image and video understanding using deep learning for computer vision applications.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Graph neural network (gnn) in image and video understanding using deep learning for computer vision applications

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.886161Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation cc835c26-698c-41bb-9cc1-e3ba70a273b6 · outbound

This paper cites The lost melody: Empirical observations on text-to-video generation from a storytelling perspective, 2024.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification The lost melody: Empirical observations on text-to-video generation from a storytelling perspective, 2024

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.871122Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation dbcd6b75-21b6-4a85-b860-d075f2f730d1 · outbound

This paper cites T2V-CompBench: A Comprehensive Benchmark for Compositional Text-to-video Generation.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification T2V-CompBench: A Comprehensive Benchmark for Compositional Text-to-video Generation

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:22.074051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b12f0e9c-2bdb-4259-ae5f-bed25f8e91d2 · outbound

This paper cites Towards A Better Metric for Text-to-Video Generation.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Towards A Better Metric for Text-to-Video Generation

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:22.078469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dda00750-4a51-45f1-b84a-eb0b1201c09f · outbound

This paper cites Msr-vtt: A large video description dataset for bridging video and language.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Msr-vtt: A large video description dataset for bridging video and language

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.855253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 52422dc3-e595-4642-8c24-e2b87d1fa2dc · outbound

This paper cites Specification-Driven Video Search via Foundation Models and Formal Verification.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Specification-Driven Video Search via Foundation Models and Formal Verification

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:22.087637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03bbbbc8-0f23-4abe-bab2-6225fd5a8d1d · outbound

This paper cites CogVideoX: Text-to-Video Diffusion Models with An Expert Transformer.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification CogVideoX: Text-to-Video Diffusion Models with An Expert Transformer

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:22.092279Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba2bab75-923e-476d-8fdc-18f7c68451d3 · outbound

This paper cites Celebv-text: A large-scale facial text-video dataset, 2023.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Celebv-text: A large-scale facial text-video dataset, 2023

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.839826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 831c313d-ab1d-4c0a-9d16-62e4c81bfd8c · outbound

This paper cites Video-LLaMA: An Instruction-tuned Audio-Visual Language Model for Video Understanding.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Video-LLaMA: An Instruction-tuned Audio-Visual Language Model for Video Understanding

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:22.101268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f8edac9-55ac-4fe8-9dcc-178f6a7b44b8 · outbound

This paper cites I2VGen-XL: High-Quality Image-to-Video Synthesis via Cascaded Diffusion Models.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification I2VGen-XL: High-Quality Image-to-Video Synthesis via Cascaded Diffusion Models

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:22.106169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af2b9744-cf36-4cc6-b554-ca5339e951d5 · outbound

This paper cites Benchmarking aigc video quality assessment: A dataset and unified model, 2024.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Benchmarking aigc video quality assessment: A dataset and unified model, 2024

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.824728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1d2d5f29-f18b-4918-b37a-d44bb086ff2c · outbound

This paper cites Always Event A.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Always Event A

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.808978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b0c350ae-f69e-4cd0-bba5-cd6077df3c80 · outbound

This paper cites X i∈Ds max 0≤j≤k fT2P(Ds, i, j) # (17) DT2TL|train = arg max Ds⊂D′ T2TL,|Ds|=N.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification X i∈Ds max 0≤j≤k fT2P(Ds, i, j) # (17) DT2TL|train = arg max Ds⊂D′ T2TL,|Ds|=N

Reference 62

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T14:26:22.794588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9d8d85c8-4d5a-4d41-9416-aec33114694c · outbound

This paper cites Your output fields are:.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Your output fields are:

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.779338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d30fb7e1-c241-455b-8ab0-144ac9315f71 · outbound

This paper cites Overall Consistency.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Overall Consistency

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.762687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9bac22df-1b23-4cbc-8de5-97630b3ac504 · outbound

This paper cites person”, “car.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification person”, “car

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.747310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation cff271a8-2c5d-47e4-bb1e-e38ce80730be · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Unresolved cited work

Reference 66

Resolution: unresolved; raw_fallback, observed 2026-08-12T14:26:22.732317Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 55ac61ef-b3de-4860-800e-9e2d60051a74 · outbound

This paper cites Your output fields are:.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Your output fields are:

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.717354Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 30c0455f-3ccb-4160-a863-13c9e603508a · outbound

This paper cites Overall Consistency.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Overall Consistency

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.702885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 55cf7e32-1fc1-40b3-89c4-c3bacf75397e · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:22.153051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afb95f78-5486-46ca-bc04-4838435e09df · outbound

This paper cites Prompt 3.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Prompt 3

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.677290Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 236cc62b-c292-4cf5-a5e1-d608b252fd98 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Unresolved cited work

Reference 71

Resolution: unresolved; raw_fallback, observed 2026-08-12T14:26:22.660968Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 44439d73-5234-4358-8148-e8af95f45bac · outbound

This paper cites Calibration Plots.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Calibration Plots

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.644076Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a4e05ca4-afe6-455e-9ff8-ace2dbb5eeb4 · outbound

This paper cites Nature”, “Human & Animal Activities.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Nature”, “Human & Animal Activities

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.627904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7a4feb80-19e9-4884-935e-a725342bdad7 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Unresolved cited work

Reference 74

Resolution: unresolved; raw_fallback, observed 2026-08-12T14:26:22.611633Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5983ba1e-af9a-4a90-9b67-a6fe4660e60a · outbound

This paper cites Always,".

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Always,"

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.596570Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0ab11e5f-c694-4d72-a4da-495505349824 · outbound

This paper cites Always": Describes an event that continuously occurs in the background or context. - .

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Always"**: Describes an event that continuously occurs in the background or context. - **

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:26:22.580643Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f8636d89-cde1-4b8c-8523-89a29b2bff3d · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Unresolved cited work

Reference 2019

Resolution: unresolved; raw_fallback, observed 2026-08-12T14:26:23.367082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c9afa0cf-12c1-4f28-9dcb-4334ecd84a03 · outbound

This paper cites Visual Instruction Tuning.

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Visual Instruction Tuning

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-12T14:26:22.010844Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers