FrenzyMath

university

frenzymath

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

tonyxty updated a dataset 23 days ago

FrenzyMath/mathlib_informal_v4.16.0

tonyxty published a dataset 23 days ago

FrenzyMath/mathlib_informal_v4.16.0

IkuyoIkuyo updated a model about 2 months ago

FrenzyMath/Herald_translator

View all activity

Organization Card

Community About org cards

From the mathematicians, to the mathematicians.

models 1

FrenzyMath/Herald_translator

Text Generation • Updated Mar 1 • 173

datasets 3

FrenzyMath/mathlib_informal_v4.16.0

Viewer • Updated 23 days ago • 188k • 73 • 1

FrenzyMath/Herald_proofs

Viewer • Updated Feb 25 • 44.6k • 132 • 1

FrenzyMath/Herald_statements

Viewer • Updated Feb 15 • 580k • 73 • 1