FrenzyMath

FrenzyMath's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

tonyxty 

updated a dataset 6 months ago

FrenzyMath/mathlib_informal_v4.19.0

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

tonyxty 

published a dataset 6 months ago

FrenzyMath/mathlib_informal_v4.19.0

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

simon2011 

published a dataset 8 months ago

FrenzyMath/state_tactic_pairs

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

simon2011 

published 3 models 8 months ago

FrenzyMath/REAL-Prover

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

FrenzyMath/LeanSearch-PS-faiss

Updated Jul 2, 2025 • 1

FrenzyMath/LeanSearch-PS

Updated Jul 2, 2025 • 1

mmtke 

updated a model 8 months ago

FrenzyMath/REAL-Prover

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

mmtke 

updated a dataset 8 months ago

FrenzyMath/state_tactic_pairs

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

simon2011 

updated 2 models 8 months ago

FrenzyMath/LeanSearch-PS-faiss

Updated Jul 2, 2025 • 1

FrenzyMath/LeanSearch-PS

Updated Jul 2, 2025 • 1

jjdishere 

updated 2 datasets 10 months ago

FrenzyMath/Herald_proofs

Viewer • Updated May 13, 2025 • 44.6k • 104 • 3

FrenzyMath/Herald_statements

Viewer • Updated May 13, 2025 • 580k • 78 • 2

jjdishere 

updated a model 10 months ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 100 • 4

tonyxty 

updated a dataset 10 months ago

FrenzyMath/mathlib_informal_v4.16.0

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

tonyxty 

published a dataset 11 months ago

FrenzyMath/mathlib_informal_v4.16.0

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

IkuyoIkuyo 

updated a model about 1 year ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 100 • 4

Slashblade 

updated a model about 1 year ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 100 • 4

Slashblade 

published a model about 1 year ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 100 • 4

IkuyoIkuyo 

updated a Space about 1 year ago

Running

README

🦀

IkuyoIkuyo 

published a Space about 1 year ago

Running

README

🦀