SZLHOLDINGS/model-bom
Viewer • Updated • 1 • 925
AI & ML interests
Reproducibility and provenance for computational analysis; single-cell analysis methods; machine-learning evaluation.
Recent Activity
View all activity
SZLHOLDINGS/lean-proofs-v1
Viewer • Updated • 1 • 1.03k
SZLHOLDINGS/k-verify-benchmark-v1
Viewer • Updated • 100 • 906
SZLHOLDINGS/governed-receipts-bench
Viewer • Updated • 7 • 956
SZLHOLDINGS/energy-attested-runs
Viewer • Updated • 8 • 851
SZLHOLDINGS/alloy-sovereign-eval-runs
Viewer • Updated • 25 • 888
SZLHOLDINGS/oac-clinical-transport-observability-synthetic
Viewer • Updated • 1.2k • 1.02k
SZLHOLDINGS/why-we-lead
Viewer • Updated • 11 • 908