Upload AI-MO.Kimina-Autoformalizer-7B.f16.gguf with huggingface_hub

.gitattributes

@@ -33,3 +33,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zip filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
+AI-MO.Kimina-Autoformalizer-7B.f16.gguf filter=lfs diff=lfs merge=lfs -text

AI-MO.Kimina-Autoformalizer-7B.f16.gguf

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:d7f53c99920e99bd599a16a53525f46a3afa5479931e95411a3d04a488d0f3cf
+size 15237853472