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 • 3
FrenzyMath/Reaper-SFT
Text Generation • Updated
FrenzyMath/Reaper-Base
Text Generation • 2B • Updated • 458
FrenzyMath/REAL-Prover
Text Generation • 8B • Updated • 18 •
FrenzyMath/LeanSearch-PS-faiss
Updated • 1
FrenzyMath/LeanSearch-PS
Updated • 8
FrenzyMath/Herald_translator
Text Generation • 7B • Updated • 31 • 6
datasets 7
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs
Updated • 110
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
Viewer • Updated • 311k • 1.21k • 1
FrenzyMath/mathlib_informal_v4.19.0
Viewer • Updated • 218k • 58 • 4
FrenzyMath/state_tactic_pairs
Viewer • Updated • 56.4k • 36 • 1
FrenzyMath/Herald_proofs
Viewer • Updated • 44.6k • 233 • 5
FrenzyMath/Herald_statements
Viewer • Updated • 580k • 397 • 2
FrenzyMath/mathlib_informal_v4.16.0
Viewer • Updated • 188k • 162 • 6