SZLHOLDINGS/a11oy-verifiable-corpus
Viewer • Updated • 291 • 2.64k
AI & ML interests
a11oy.net
Recent Activity
SZLHOLDINGS/szl-lake
Viewer • Updated • 16 • 2.39k
SZLHOLDINGS/killinchu-osint-corpus
Viewer • Updated • 299k • 25.6k • 5
SZLHOLDINGS/szl-1-doctrine-sft
Updated • 132
SZLHOLDINGS/alloy-sovereign-eval-runs
Viewer • Updated • 25 • 150
SZLHOLDINGS/energy-attested-runs
Viewer • Updated • 8 • 213
SZLHOLDINGS/governed-receipts-bench
Viewer • Updated • 7 • 192
SZLHOLDINGS/readiness-runs
Viewer • Updated • 265 • 281
SZLHOLDINGS/uds-bundles-v1
Updated • 215
SZLHOLDINGS/k-verify-benchmark-v1
Viewer • Updated • 100 • 192
SZLHOLDINGS/doctrine-v10-v11
Updated • 195
SZLHOLDINGS/thesis-corpus-v18
Viewer • Updated • 358 • 271
SZLHOLDINGS/canonical-formulas-v1
Updated • 178
SZLHOLDINGS/lean-proofs-v1
Viewer • Updated • 1 • 266
SZLHOLDINGS/rag-corpus-v1
Viewer • Updated • 762 • 253
SZLHOLDINGS/lean-theorem-tree
Updated • 190
SZLHOLDINGS/szl-artifacts
Viewer • Updated • 52 • 367
SZLHOLDINGS/ouroboros-arxiv-preprint
Updated • 214
SZLHOLDINGS/why-we-lead
Viewer • Updated • 11 • 210
SZLHOLDINGS/SZLHOLDINGS
Viewer • Updated • 1 • 168
SZLHOLDINGS/uds-governance-receipts
Viewer • Updated • 5 • 597
SZLHOLDINGS/uds-spans-receipts
Viewer • Updated • 155 • 353
SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 11 • 370
SZLHOLDINGS/test-results
Updated • 88
SZLHOLDINGS/szl-quant-sft-v1
Updated • 82
SZLHOLDINGS/szl-second-brain-inrepo
Viewer • Updated • 575 • 194