SZLHOLDINGS/szl-second-brain-inrepo
Updated
AI & ML interests
a11oy.net
Recent Activity
SZLHOLDINGS/a11oy-verifiable-corpus
Viewer • Updated • 127 • 1.95k
SZLHOLDINGS/szl-1-doctrine-sft
Viewer • Updated • 41 • 11
SZLHOLDINGS/alloy-sovereign-eval-runs
Viewer • Updated • 25 • 18
SZLHOLDINGS/SZLHOLDINGS
Updated • 66
SZLHOLDINGS/uds-governance-receipts
Updated • 389
SZLHOLDINGS/szl-artifacts
Viewer • Updated • 52 • 176
SZLHOLDINGS/uds-spans-receipts
Updated • 223
SZLHOLDINGS/uds-bundles-v1
Updated • 93
SZLHOLDINGS/thesis-corpus-v18
Updated • 146
SZLHOLDINGS/szl-lake
Updated • 1.01k
SZLHOLDINGS/rag-corpus-v1
Updated • 148
SZLHOLDINGS/ouroboros-arxiv-preprint
Viewer • Updated • 1 • 118
SZLHOLDINGS/killinchu-osint-corpus
Viewer • Updated • 166k • 18.8k • 1
SZLHOLDINGS/k-verify-benchmark-v1
Updated • 87
SZLHOLDINGS/energy-attested-runs
Viewer • Updated • 8 • 47
SZLHOLDINGS/doctrine-v10-v11
Viewer • Updated • 1 • 103
SZLHOLDINGS/canonical-formulas-v1
Updated • 85
SZLHOLDINGS/governed-receipts-bench
Viewer • Updated • 7 • 43
SZLHOLDINGS/lean-theorem-tree
Viewer • Updated • 1 • 113
SZLHOLDINGS/why-we-lead
Viewer • Updated • 11 • 121
SZLHOLDINGS/lean-proofs-v1
Updated • 178
SZLHOLDINGS/readiness-runs
Viewer • Updated • 265 • 156
SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 11 • 149