The Reaper model family: base, supervised fine-tuned, and final policy-value checkpoints.
AI & ML interests
None defined yet.
Recent Activity
Organization Card
From the mathematicians, to the mathematicians.
models 7
FrenzyMath/Reaper-1
Text Generation • Updated • 1
FrenzyMath/Reaper-SFT
Text Generation • Updated
FrenzyMath/Reaper-Base
Text Generation • 2B • Updated • 619
FrenzyMath/REAL-Prover
Text Generation • 8B • Updated • 22 •
FrenzyMath/LeanSearch-PS-faiss
Updated • 1
FrenzyMath/LeanSearch-PS
Updated • 7
FrenzyMath/Herald_translator
Text Generation • 7B • Updated • 33 • 6
datasets 7
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs
Updated • 154
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
Viewer • Updated • 311k • 1.29k • 1
FrenzyMath/mathlib_informal_v4.19.0
Viewer • Updated • 218k • 48 • 4
FrenzyMath/state_tactic_pairs
Viewer • Updated • 56.4k • 51 • 1
FrenzyMath/Herald_proofs
Viewer • Updated • 44.6k • 218 • 5
FrenzyMath/Herald_statements
Viewer • Updated • 580k • 478 • 2
FrenzyMath/mathlib_informal_v4.16.0
Viewer • Updated • 188k • 196 • 6