Saharsh Bhargava's picture

Saharsh Bhargava

saharshb

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 2 months ago

saharshb/mathlib_formal_v4.29.0

published a dataset about 2 months ago

saharshb/mathlib_formal_v4.29.0

updated a dataset 2 months ago

saharshb/mathlib-informal-split

View all activity

Organizations

models 0

None public yet

datasets 2

saharshb/mathlib_formal_v4.29.0

Viewer • Updated Apr 7 • 233k • 33

saharshb/mathlib-informal-split

Viewer • Updated Apr 2 • 211k • 24 • 1