FrenzyMath (FrenzyMath)

tonyxty

updated a dataset 5 months ago

FrenzyMath/mathlib_informal_v4.19.0

Viewer • Updated Sep 19, 2025 • 218k • 20 • 2

tonyxty

published a dataset 5 months ago

FrenzyMath/mathlib_informal_v4.19.0

Viewer • Updated Sep 19, 2025 • 218k • 20 • 2

simon2011

published a dataset 7 months ago

FrenzyMath/state_tactic_pairs

Viewer • Updated Jul 11, 2025 • 56.4k • 35

simon2011

published 3 models 7 months ago

mmtke

updated a model 7 months ago

FrenzyMath/REAL-Prover

Text Generation • 8B • Updated Jul 17, 2025 • 97

mmtke

updated a dataset 7 months ago

FrenzyMath/state_tactic_pairs

Viewer • Updated Jul 11, 2025 • 56.4k • 35

simon2011

updated 2 models 7 months ago

FrenzyMath/LeanSearch-PS-faiss

Updated Jul 2, 2025 • 1

FrenzyMath/LeanSearch-PS

Updated Jul 2, 2025 • 45

jjdishere

updated 2 datasets 9 months ago

FrenzyMath/Herald_proofs

Viewer • Updated May 13, 2025 • 44.6k • 166 • 2

FrenzyMath/Herald_statements

Viewer • Updated May 13, 2025 • 580k • 143 • 1

jjdishere

updated a model 9 months ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 413 • 3

tonyxty

updated a dataset 9 months ago

FrenzyMath/mathlib_informal_v4.16.0

Viewer • Updated May 4, 2025 • 188k • 71 • 5

tonyxty

published a dataset 10 months ago

FrenzyMath/mathlib_informal_v4.16.0

Viewer • Updated May 4, 2025 • 188k • 71 • 5

IkuyoIkuyo

updated a model 11 months ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 413 • 3

Slashblade

updated a model 11 months ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 413 • 3

Slashblade

published a model 11 months ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 413 • 3

IkuyoIkuyo

updated a Space 11 months ago

README

🦀

IkuyoIkuyo

published a Space 11 months ago

README

🦀

AI & ML interests

Team members 11

FrenzyMath's activity

README

README