CoolFace
Modelpublic

mradermacher/Mathesis-Autoformalizer-HPO-GGUF

sourceHugging Faceupdated 1y agoView on Hugging Face
0likes159downloads
root
file.gitattributes2 KBdownload
fileMathesis-Autoformalizer-HPO.f16.gguf14.19 GBdownload
fileMathesis-Autoformalizer-HPO.IQ4_XS.gguf3.96 GBdownload
fileMathesis-Autoformalizer-HPO.Q2_K.gguf2.81 GBdownload
fileMathesis-Autoformalizer-HPO.Q3_K_L.gguf3.81 GBdownload
fileMathesis-Autoformalizer-HPO.Q3_K_M.gguf3.55 GBdownload
fileMathesis-Autoformalizer-HPO.Q3_K_S.gguf3.25 GBdownload
fileMathesis-Autoformalizer-HPO.Q4_K_M.gguf4.36 GBdownload
fileMathesis-Autoformalizer-HPO.Q4_K_S.gguf4.15 GBdownload
fileMathesis-Autoformalizer-HPO.Q5_K_M.gguf5.07 GBdownload
fileMathesis-Autoformalizer-HPO.Q5_K_S.gguf4.95 GBdownload
fileMathesis-Autoformalizer-HPO.Q6_K.gguf5.82 GBdownload
fileMathesis-Autoformalizer-HPO.Q8_0.gguf7.54 GBdownload
fileREADME.md4 KBdownload

mradermacher/Mathesis-Autoformalizer-HPO-GGUF · main · files are served by the source, never re-hosted here