Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T14:26:22.185125Z
Paper Citation Record · LEDGER
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
As of 21 August 2026, this Paper Citation Record lists 75 of 75 outbound references and 2 inbound Pith citation observations for arXiv:2411.16718.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-15T23:23:28.375963Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-15T20:12:38.094834Z
Reference resolution
75 of 75 outbound references displayed
- verified exact0
- verified fuzzy47
- unresolved27
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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.
Pith citing papers
Observation 0eca9ac3-03d4-4875-90b1-aa889e212959 · inbound
Real-Time Privacy Preservation for Robot Visual Perception cites this paper.
Real-Time Privacy Preservation for Robot Visual Perception Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T23:23:28.375963Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 03be9951-6b02-4ba4-b82c-30f37c80e96b · inbound
A Challenge to Build Neuro-Symbolic Video Agents cites this paper.
A Challenge to Build Neuro-Symbolic Video Agents Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
Reference 47
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T20:12:38.101767Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.