FrenzyMath/REAL-Prover download history

FrenzyMath/REAL-Prover is a 7.6B-parameter text generation model by FrenzyMath. In the last 30 days it was downloaded 39 times (5 in the last 7 days), and 20,684 times in total.

It ranks #279,518 on the Hub by monthly downloads and #75,810 among text generation models.

It has 0 likes.

It is a fine-tune of Qwen/Qwen2.5-Math-7B.

1 models build on REAL-Prover: 0 quantized, 0 fine-tuned, 1 adapters and 0 merges. Together with the original they were downloaded 39 times in the last 30 days. See the REAL-Prover galaxy.

Most downloaded derivatives

• alpha-proof-open-source/alphaproof-full-v3-value-head (adapter), 0 downloads in 30 days

Open FrenzyMath/REAL-Prover on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.