Pythagoras-LM/Pythagoras-Prover-4B download history
Pythagoras-LM/Pythagoras-Prover-4B is a 4.4B-parameter text generation model by Pythagoras-LM. In the last 30 days it was downloaded 821 times (200 in the last 7 days), and 4,380 times in total.
It ranks #47,231 on the Hub by monthly downloads and #11,540 among text generation models.
It has 8 likes.
It is a fine-tune of Qwen/Qwen3-4B.
1 models build on Pythagoras-Prover-4B: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 3,267 times in the last 30 days. See the Pythagoras-Prover-4B galaxy.
Most downloaded derivatives
- tinyopsec/Pythagoras-Prover-4B-GGUF (quantized), 2.4K downloads in 30 days