The FrenzyMath/REAL-Prover galaxy

1 models are built on FrenzyMath/REAL-Prover: 0 quantized, 0 fine-tuned, 1 adapters and 0 merges. Together they were downloaded 39 times in the last 30 days.

Most downloaded direct derivatives

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

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