CoolFace
Modelpublic

tinyopsec/Pythagoras-Prover-4B-GGUF

sourceHugging Faceapache-2.0updated 14d agoView on Hugging Face
1likes2.3kdownloads
root
file.gitattributes2 KBdownload
filemodel_f16.gguf8.22 GBdownload
filemodel_q2_k.gguf1.67 GBdownload
filemodel_q3_k_l.gguf2.24 GBdownload
filemodel_q3_k_m.gguf2.09 GBdownload
filemodel_q3_k_s.gguf1.91 GBdownload
filemodel_q4_k_m.gguf2.53 GBdownload
filemodel_q4_k_s.gguf2.42 GBdownload
filemodel_q5_k_m.gguf2.94 GBdownload
filemodel_q5_k_s.gguf2.88 GBdownload
filemodel_q6_k.gguf3.38 GBdownload
filemodel_q8_0.gguf4.37 GBdownload
fileREADME.md3 KBdownload

tinyopsec/Pythagoras-Prover-4B-GGUF · main · files are served by the source, never re-hosted here