FrenzyMath

university

frenzymath

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

simon2011 published a dataset about 2 months ago

FrenzyMath/state_tactic_pairs

simon2011 published a model about 2 months ago

FrenzyMath/REAL-Prover

simon2011 published a model about 2 months ago

FrenzyMath/LeanSearch-PS-faiss

View all activity

FrenzyMath 's models 4

FrenzyMath/REAL-Prover

Text Generation • 8B • Updated Jul 17 • 34

FrenzyMath/LeanSearch-PS-faiss

FrenzyMath/LeanSearch-PS

Updated Jul 2 • 38

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13 • 1.19k • 1