Harry Sanders's picture

Harry Sanders

harrywsanders

·

harrywsanders

AI & ML interests

ai for doing math well.

Recent Activity

updated a dataset 24 days ago

harrywsanders/leanworkbook_formatted

published a dataset 24 days ago

harrywsanders/leanworkbook_formatted

updated a dataset 4 months ago

harrywsanders/mathlib_extracted

View all activity

Organizations

None yet

models 0

None public yet

datasets 3

harrywsanders/leanworkbook_formatted

Viewer • Updated 24 days ago • 500 • 122

harrywsanders/mathlib_extracted

Viewer • Updated May 1 • 349k • 10

harrywsanders/putnambench

Viewer • Updated May 1 • 659 • 13