Harry Sanders's picture

Harry Sanders

harrywsanders

·

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

View all activity

Organizations

None yet

models 0

None public yet

datasets 3

harrywsanders/mathlib_extracted

Viewer • Updated Sep 23 • 349k • 178

harrywsanders/leanworkbook_formatted

Viewer • Updated Aug 8 • 500 • 64

harrywsanders/putnambench

Viewer • Updated May 1 • 659 • 33 • 1