FrenzyMath (FrenzyMath)

Al2S3

updated 2 datasets 2 months ago

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

Updated May 18 • 138

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

Viewer • Updated May 18 • 311k • 64 • 1

anabelian

updated a dataset 3 months ago

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

Viewer • Updated May 18 • 311k • 64 • 1

anabelian

published a dataset 3 months ago

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

Viewer • Updated May 18 • 311k • 64 • 1

anabelian

updated a dataset 3 months ago

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

Updated May 18 • 138

anabelian

published a dataset 3 months ago

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

Updated May 18 • 138

tonyxty

updated a dataset 10 months ago

FrenzyMath/mathlib_informal_v4.19.0

Viewer • Updated Sep 19, 2025 • 218k • 30 • 4

tonyxty

published a dataset 10 months ago

FrenzyMath/mathlib_informal_v4.19.0

Viewer • Updated Sep 19, 2025 • 218k • 30 • 4

simon2011

published a dataset about 1 year ago

FrenzyMath/state_tactic_pairs

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

simon2011

published 3 models about 1 year ago

updated a model about 1 year ago

FrenzyMath/REAL-Prover

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

mmtke

updated a dataset about 1 year ago

FrenzyMath/state_tactic_pairs

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

simon2011

updated 2 models about 1 year ago

FrenzyMath/LeanSearch-PS-faiss

Updated Jul 2, 2025 • 1

FrenzyMath/LeanSearch-PS

Updated Jul 2, 2025 • 118

jjdishere

updated 2 datasets about 1 year ago

FrenzyMath/Herald_proofs

Viewer • Updated May 13, 2025 • 44.6k • 130 • 5

FrenzyMath/Herald_statements

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

jjdishere

updated a model about 1 year ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 183 • 6

tonyxty

updated a dataset about 1 year ago

FrenzyMath/mathlib_informal_v4.16.0

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

AI & ML interests

Team members 12

FrenzyMath's activity