Dataset · Hugging Face

Lightcap/pcmt-artifact

Name: pcmt-artifact
Creator: Lightcap
License: other
Keywords: task_categories:feature-extraction, task_categories:video-classification, task_categories:audio-classification, task_categories:text-classification, language:en, license:other, size_categories:1K<n<10K, format:csv, modality:tabular, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, region:us

Proof-Carrying Multimodal Timelines Artifact This Hugging Face Dataset repository hosts the runnable artifact for: Proof-Carrying Multimodal Timelines: Finite-Trace Modal Certificates for Video-Audio Consistency Authors: Faruk Alpay and Hamdi Alakkad. The artifact is organized as a dataset-style file tree rather than a zip archive. It is intended to support an arXiv submission whose source package stays below arXiv's upload limit while keeping the full runnable code, traces… See the full description on the dataset page: https://huggingface.co/datasets/Lightcap/pcmt-artifact.

View on Hugging FaceReport an issue

Author / organization	Lightcap
License (as declared)	other
Downloads	217 (as reported by Hugging Face)
Likes	0
Created	16 June 2026
Last updated at source	16 June 2026

arxiv-artifactreproducibilityresearch-artifactcomputer-sciencecomputer-logicformal-methodsruntime-monitoringfinite-tracefinite-trace-semanticstemporal-logicmodal-logicltlfcertificatecertificate-checkingproof-carryingcounterexamplecounterexample-extractiondefect-localizationdefect-metricsmultimodalmultimediavideo-audioaudiovisualaudio-visual-consistency

Embed this entry

<iframe src="https://silytics.si/embed/item/a7ac4a46-0ebd-4d07-9c6c-235a3fee3625" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

More from Lightcap

Lightcap/symplectic-inside-outside-atlasDataset
Lightcap/seu-3dgsDataset
Lightcap/cbeeg-evidence-graphsDataset
Lightcap/pudu-robot-operation-logs-bau-capstone-2026Dataset
Lightcap/agent-runtime-telemetry-smallDataset
Lightcap/multi-domain-cloudflare-observabilityDataset

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.