{"url":"/dataset/temporal-logic-video-tlv-dataset","name":"Temporal Logic Video (TLV) Dataset","full_name":null,"description_markdown":"The Temporal Logic Video (TLV) Dataset addresses the scarcity of state-of-the-art video datasets for long-horizon, temporally extended activity and object detection. It comprises two main components:\r\n\r\nSynthetic datasets: Generated by concatenating static images from established computer vision datasets (COCO and ImageNet), allowing for the introduction of a wide range of Temporal Logic (TL) specifications.\r\n\r\nReal-world datasets: Based on open-source autonomous vehicle (AV) driving datasets, specifically NuScenes and Waymo.","description_withheld":null,"homepage":"https://github.com/UTAustin-SwarmLab/Temporal-Logic-Video-Dataset","introduced_date":"2024-07-15","introduced_date_note":null,"introduced_by":null,"license":{"name":"MIT","url":"https://github.com/UTAustin-SwarmLab/Temporal-Logic-Video-Dataset/blob/main/LICENSE"},"modalities":[{"name":"Images","url":"/datasets/modality/images"},{"name":"Videos","url":"/datasets/modality/videos"}],"tasks":[{"name":"Video Temporal Consistency","url":"/task/video-temporal-consistency","datasets_with_task":"/datasets/task/video-temporal-consistency"},{"name":"Temporal Complex Logical Reasoning","url":"/task/temporal-complex-logical-reasoning","datasets_with_task":"/datasets/task/temporal-complex-logical-reasoning"}],"languages":[{"name":"English","url":"/datasets/language/english"}],"variants":["Temporal Logic Video (TLV) Dataset"],"data_loaders":[],"num_papers_in_archive":0,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[],"papers_with_a_benchmark_row":[],"syntology_totals":{"read_at":"2026-09-25T09:33:49+00:00","papers_with_samples":0,"samples_harvested":0,"samples_ran":0,"samples_unverified":0,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}