Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Harry Sanders
harrywsanders
Follow
passagereptile455's profile picture
1 follower
·
1 following
harrywsanders
AI & ML interests
ai for doing math well.
Organizations
None yet
harrywsanders
's datasets
3
Sort: Recently updated
harrywsanders/mathlib_extracted
Viewer
•
Updated
Sep 23
•
349k
•
174
harrywsanders/leanworkbook_formatted
Viewer
•
Updated
Aug 8
•
500
•
62
harrywsanders/putnambench
Viewer
•
Updated
May 1
•
659
•
31
•
1