Harry Sanders's picture

Harry Sanders

harrywsanders

·

harrywsanders

AI & ML interests

ai for doing math well.

Organizations

None yet

harrywsanders 's datasets 3

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