tinyopsec/Pythagoras-Prover-4B-GGUF download history
tinyopsec/Pythagoras-Prover-4B-GGUF is a text generation model by tinyopsec. In the last 30 days it was downloaded 2,446 times (151 in the last 7 days), and 2,446 times in total.
It ranks #18,252 on the Hub by monthly downloads and #4,825 among text generation models.
It has 1 likes.
It is a quantization of Pythagoras-LM/Pythagoras-Prover-4B.