FrenzyMath

university

frenzymath

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

IkuyoIkuyo updated a model 15 days ago

FrenzyMath/Herald_translator

Slashblade updated a model 16 days ago

FrenzyMath/Herald_translator

Slashblade published a model 16 days 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 15 days ago • 275

datasets 2

FrenzyMath/Herald_proofs

Viewer • Updated 20 days ago • 44.6k • 185

FrenzyMath/Herald_statements

Viewer • Updated 29 days ago • 580k • 103