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
2
AI & ML interests
None defined yet.
Recent Activity
betterwithage
updated
a Space
about 2 hours ago
SZLHOLDINGS/killinchu
betterwithage
updated
a Space
about 3 hours ago
SZLHOLDINGS/a11oy
betterwithage
updated
a Space
about 8 hours ago
SZLHOLDINGS/anatomy
View all activity
Team members
2
SZLHOLDINGS
's datasets
19
Sort: Recently updated
SZLHOLDINGS/a11oy-verifiable-corpus
Viewer
•
Updated
about 5 hours ago
•
127
•
513
SZLHOLDINGS/lean-theorem-tree
Viewer
•
Updated
about 6 hours ago
•
1
•
93
SZLHOLDINGS/szl-lake
Updated
about 6 hours ago
•
372
SZLHOLDINGS/thesis-v18-formal-verification
Viewer
•
Updated
1 day ago
•
11
•
184
SZLHOLDINGS/ouroboros-arxiv-preprint
Preview
•
Updated
1 day ago
•
100
SZLHOLDINGS/SZLHOLDINGS
Updated
2 days ago
•
40
SZLHOLDINGS/uds-spans-receipts
Updated
2 days ago
•
165
SZLHOLDINGS/why-we-lead
Viewer
•
Updated
2 days ago
•
11
•
89
SZLHOLDINGS/killinchu-osint-corpus
Viewer
•
Updated
7 days ago
•
113k
•
12k
•
1
SZLHOLDINGS/readiness-runs
Viewer
•
Updated
19 days ago
•
265
•
1.12k
SZLHOLDINGS/rag-corpus-v1
Preview
•
Updated
22 days ago
•
148
SZLHOLDINGS/szl-artifacts
Viewer
•
Updated
27 days ago
•
52
•
84
SZLHOLDINGS/uds-governance-receipts
Updated
27 days ago
•
97
SZLHOLDINGS/doctrine-v10-v11
Updated
27 days ago
•
419
SZLHOLDINGS/canonical-formulas-v1
Updated
27 days ago
•
398
SZLHOLDINGS/k-verify-benchmark-v1
Updated
27 days ago
•
87
SZLHOLDINGS/uds-bundles-v1
Updated
28 days ago
•
175
SZLHOLDINGS/thesis-corpus-v18
Updated
29 days ago
•
454
SZLHOLDINGS/lean-proofs-v1
Updated
29 days ago
•
517