Dataset · Hugging Face

SZLHOLDINGS/szl-artifacts

Name: szl-artifacts
Creator: SZLHOLDINGS
License: apache-2.0
Keywords: task_categories:other, language:en, license:apache-2.0, size_categories:n<1K, format:imagefolder, modality:document, modality:image, library:datasets, library:mlcroissant, region:us, formal-verification, lean4, mathlib, dsse, governance

Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance. SZL Artifacts — Build Artifact Registry Artifact boundary - audited 2026-07-15: this Hugging Face dataset repository is a mixed 106-file, 36,100,909-byte publication/build mirror at revision 91bcb443857f2884ef2bfabaaa6bfdc606c7134a. It is not a uniform table of DSSE envelopes, and this… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/szl-artifacts.

View on Hugging FaceReport an issue

Author / organization	SZLHOLDINGS
License (as declared)	apache-2.0
Downloads	1.4K (as reported by Hugging Face)
Likes	0
Created	29 May 2026
Last updated at source	28 September 2026

formal-verificationlean4mathlibdssegovernanceagentic-aidoctrine-v11rae-1artifactsbuildregistryslsadataset

Embed this entry

<iframe src="https://silytics.si/embed/item/7b9df619-39eb-4df8-bf2b-950d66205598" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 3 days

1,374 now (+27 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from SZLHOLDINGS

SZLHOLDINGS/killinchu-osint-corpusDataset
SZLHOLDINGS/readiness-runsDataset
SZLHOLDINGS/szl-lakeDataset
SZLHOLDINGS/a11oy-verifiable-corpusDataset
SZLHOLDINGS/szl-frontier-evaluation-receiptsDataset
SZLHOLDINGS/uds-governance-receiptsDataset

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