Hugging Face's logo

morph-labs
/
morph-prover-v0-7b-gguf

Text Generation
GGUF
English
math
lean
Model card Files Community
3
bentleylong jessemhan1 commited on
Commit
fbe9b63
•
1 Parent(s): 2414bed

Upload folder using huggingface_hub (#1)

Browse files

- Upload folder using huggingface_hub (1449d73e5f9f600502e28c7a6935b3e2e92bf181)


Co-authored-by: Jesse Michael Han <jessemhan1@users.noreply.huggingface.co>

Files changed (4) hide show
  1. .gitattributes +3 -0
  2. ggml-model-Q4_0.gguf +3 -0
  3. ggml-model-Q8_0.gguf +3 -0
  4. ggml-model-f16.gguf +3 -0
.gitattributes CHANGED
@@ -33,3 +33,6 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
33
  *.zip filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
 
 
 
 
33
  *.zip filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
36
+ ggml-model-Q4_0.gguf filter=lfs diff=lfs merge=lfs -text
37
+ ggml-model-Q8_0.gguf filter=lfs diff=lfs merge=lfs -text
38
+ ggml-model-f16.gguf filter=lfs diff=lfs merge=lfs -text
ggml-model-Q4_0.gguf ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:dc4104a547d4c8a9308ef5e6480a32d5f944ac20cb15032bdd4782349caa4e47
3
+ size 4108916288
ggml-model-Q8_0.gguf ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:3762bb8bb3fbfe34c90402ef2741505085e74cbfa2cdb23ad2335659454d6d07
3
+ size 7695857216
ggml-model-f16.gguf ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:0b5fc26e43c90e3a76d81393a124fe023bc481a11b3f78fdcb7b8051cea280c4
3
+ size 14484731424