FrenzyMath

university

frenzymath

Activity Feed Request to join this org

AI & ML interests

None defined yet.

FrenzyMath 's models 4

FrenzyMath/REAL-Prover

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

FrenzyMath/LeanSearch-PS-faiss

Updated Jul 2, 2025 • 1

FrenzyMath/LeanSearch-PS

Updated Jul 2, 2025 • 4

FrenzyMath/Herald_translator

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

FrenzyMath (FrenzyMath)

FrenzyMath

university

frenzymath

Activity Feed Request to join this org

AI & ML interests

None defined yet.

FrenzyMath 's models 4

FrenzyMath/REAL-Prover

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

FrenzyMath/LeanSearch-PS-faiss

Updated Jul 2, 2025 • 1

FrenzyMath/LeanSearch-PS

Updated Jul 2, 2025 • 4

FrenzyMath/Herald_translator

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