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