Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
SZL Holdings
Team
company
https://www.boss.technology/
stephenlutar2-hash
Activity Feed
Request to join this org
Follow
1
AI & ML interests
None defined yet.
Recent Activity
betterwithage
updated
a Space
about 2 hours ago
SZLHOLDINGS/yarqa
betterwithage
published
a Space
about 2 hours ago
SZLHOLDINGS/yarqa
betterwithage
updated
a dataset
about 4 hours ago
SZLHOLDINGS/szl-lake
View all activity
Team members
2
SZLHOLDINGS
's datasets
20
Sort: Recently updated
SZLHOLDINGS/readiness-runs
Viewer
•
Updated
14 minutes ago
•
254
•
924
SZLHOLDINGS/szl-lake
Updated
about 4 hours ago
•
116
SZLHOLDINGS/rag-corpus-v1
Preview
•
Updated
3 days ago
•
101
SZLHOLDINGS/SZLHOLDINGS
Updated
7 days ago
•
146
SZLHOLDINGS/szl-visual-identity
Viewer
•
Updated
8 days ago
•
69
•
333
SZLHOLDINGS/org-card-assets
Updated
8 days ago
•
31
SZLHOLDINGS/thesis-v18-formal-verification
Viewer
•
Updated
8 days ago
•
11
•
331
SZLHOLDINGS/lean-theorem-tree
Viewer
•
Updated
8 days ago
•
1
•
92
SZLHOLDINGS/szl-artifacts
Viewer
•
Updated
8 days ago
•
52
•
195
SZLHOLDINGS/ouroboros-arxiv-preprint
Preview
•
Updated
8 days ago
•
116
SZLHOLDINGS/why-we-lead
Viewer
•
Updated
8 days ago
•
11
•
122
SZLHOLDINGS/uds-governance-receipts
Updated
8 days ago
•
135
SZLHOLDINGS/uds-spans-receipts
Updated
8 days ago
•
207
SZLHOLDINGS/doctrine-v10-v11
Updated
8 days ago
•
381
SZLHOLDINGS/canonical-formulas-v1
Updated
8 days ago
•
379
SZLHOLDINGS/k-verify-benchmark-v1
Updated
8 days ago
•
64
SZLHOLDINGS/usb-bundle-v1
Updated
9 days ago
•
43
SZLHOLDINGS/uds-bundles-v1
Updated
9 days ago
•
153
SZLHOLDINGS/thesis-corpus-v18
Updated
10 days ago
•
414
SZLHOLDINGS/lean-proofs-v1
Updated
10 days ago
•
458