Harry Sanders
harrywsanders
ยท
AI & ML interests
ai for doing math well.
Recent Activity
updated
a dataset
26 days ago
harrywsanders/leanworkbook_formatted
published
a dataset
26 days ago
harrywsanders/leanworkbook_formatted
updated
a dataset
4 months ago
harrywsanders/mathlib_extracted
Organizations
None yet