Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Charlie Meyer
charliemeyer2000
1
Follow
harrywsanders's profile picture
1 follower
·
0 following
https://charliemeyer.xyz
charliemeyer2000
AI & ML interests
None yet
Organizations
None yet
charliemeyer2000
's datasets
2
Sort: Recently updated
charliemeyer2000/ai4math-lean
Viewer
•
Updated
Mar 31
•
3.39M
•
36
charliemeyer2000/leandojo_benchmark_lean4_17_0
Viewer
•
Updated
Apr 19, 2025
•
349k
•
41
•
3
