Harry Sanders's picture

Harry Sanders PRO

harrywsanders

·

harrywsanders

AI & ML interests

ai for doing math well.

Organizations

None yet

harrywsanders 's datasets 3

harrywsanders/mathlib_extracted

Viewer • Updated Sep 23, 2025 • 349k • 11

harrywsanders/leanworkbook_formatted

Viewer • Updated Aug 8, 2025 • 500 • 5

harrywsanders/putnambench

Viewer • Updated May 1, 2025 • 659 • 8 • 1