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 datasets 4

FrenzyMath/state_tactic_pairs

Viewer • Updated Jul 11 • 56.4k • 17

FrenzyMath/Herald_proofs

Viewer • Updated May 13 • 44.6k • 83 • 1

FrenzyMath/Herald_statements

Viewer • Updated May 13 • 580k • 119 • 1

FrenzyMath/mathlib_informal_v4.16.0

Viewer • Updated May 4 • 188k • 29 • 1