datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
szl-artifacts
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… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/szl-artifacts.thesis-v18-formal-verification
Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance.
Ouroboros Thesis v18 — Formal Verification
Doctrine v11 LOCKED. No marketing. Every number resolves to a CI log, a Lean proof, or a Zenodo DOI.
Historical snapshot — this dataset is the v18-specific Lean mechanization index. The live source of truth is lean-proofs-v1, which is kept… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/thesis-v18-formal-verification.why-we-lead
Why We Lead — HISTORICAL (Doctrine v7, not current)
HISTORICAL. This dataset is a Doctrine v7 positioning snapshot. It is not current Doctrine v11. Do not present any count in these files as current MEASURED. Images and text are frozen audit copies.
An investor opening this ID should treat every metric as a SNAPSHOT of an old document, not the live org.
What it is / is NOT
IS: a historical positioning corpus (Doctrine v7 era) plus images under images/.
NOT:… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/why-we-lead.GenHOI