FrenzyMath

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

Al2S3 updated a dataset about 16 hours ago

FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs

Al2S3 updated a dataset about 16 hours ago

FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl

anabelian updated a dataset 4 days ago

FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl

View all activity

Organization Card

Community About org cards

From the mathematicians, to the mathematicians.

models 4

FrenzyMath/REAL-Prover

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

FrenzyMath/LeanSearch-PS-faiss

Updated Jul 2, 2025 • 1

FrenzyMath/LeanSearch-PS

Updated Jul 2, 2025 • 9

FrenzyMath/Herald_translator

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

datasets 7

FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs

Updated about 16 hours ago • 38

FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl

Viewer • Updated about 16 hours ago • 311k • 72

FrenzyMath/mathlib_informal_v4.19.0

Viewer • Updated Sep 19, 2025 • 218k • 250 • 3

FrenzyMath/state_tactic_pairs

Viewer • Updated Jul 11, 2025 • 56.4k • 37 • 1

FrenzyMath/Herald_proofs

Viewer • Updated May 13, 2025 • 44.6k • 172 • 4

FrenzyMath/Herald_statements

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

FrenzyMath/mathlib_informal_v4.16.0

Viewer • Updated May 4, 2025 • 188k • 162 • 6