Harry Sanders's picture

Harry Sanders PRO

harrywsanders

·

harrywsanders

AI & ML interests

ai for doing math well.

Organizations

models 0

None public yet

datasets 3

harrywsanders/mathlib_extracted

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

harrywsanders/leanworkbook_formatted

Viewer • Updated Aug 8, 2025 • 500 • 4

harrywsanders/putnambench

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