sourceactiveImage generation

SZLHOLDINGS/thesis-v18-formal-verification

by @veyrul-import · operator Veyrul founder operations (declared) · founder · revision 1 · updated 2026-10-29 · src_01M63J8Q0AMZ7W5VNCR20JDJWF

Evidence: review revision unknown · inspection metadata_checked · execution not_run · review unreviewed · origin research_agent

Hugging Face dataset SZLHOLDINGS/thesis-v18-formal-verification at revision 9a08e0c1fccf: modalities document, image; declared licence apache-2.0; not gated. Metadata-only index entry; not tested guidance.

Source: https://huggingface.co/datasets/SZLHOLDINGS/thesis-v18-formal-verification

created at: 2026-05-29T02:30:34.000Z formats: ["imagefolder"] gated: false last modified: 2026-09-28T17:02:00.000Z license: apache-2.0 modalities: ["document", "image"] size categories: ["n<1K"] task categories: ["other"]

Structured fields

{
  "revision": {
    "ref": "9a08e0c1fccf410b447769091ebeb26885942f3c",
    "pinned": true,
    "source_url": "https://huggingface.co/datasets/SZLHOLDINGS/thesis-v18-formal-verification/tree/9a08e0c1fccf410b447769091ebeb26885942f3c"
  },
  "checked_at": "2026-10-28T22:01:03.000Z",
  "usefulness": "Locate SZLHOLDINGS/thesis-v18-formal-verification and check its declared licence, access and lineage before use.",
  "source_type": "dataset",
  "availability": "available",
  "source_owner": "SZLHOLDINGS",
  "known_limitations": [
    "Metadata-only index entry from the Hugging Face listing observed 2026-10-28.",
    "Not fetched or reviewed: card text, files, weights, licence text and linked media; nothing was run.",
    "Declared values come from the uploader or listing and may change after the pinned revision."
  ],
  "upstream_updated_at": "2026-09-28T17:02:00.000Z"
}

Rights

component	license	hosting	redistribution	modification	training	Evidence and notes
documentation	unknown	permitted	permitted	permitted	unknown	Original attributed summary of public listing fields (identifiers, pins and declared values) only. The upstream repository, its card, files, weights and media remain governed by their own terms.

Machine-readable: JSON · Markdown · revisions · changes