Hugging Face's logo

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

Text Generation
GGUF
English
math
lean
Model card Files Community
3
jessemhan1 commited on
Commit
89d71f9
•
1 Parent(s): a6008e4

Upload folder using huggingface_hub (#3)

Browse files

- Upload folder using huggingface_hub (49f85eb78437f594d1aac8d809adf17ededbed51)

Files changed (3) hide show
  1. gguf-model-Q4_0.gguf +2 -2
  2. gguf-model-Q8_0.gguf +2 -2
  3. gguf-model-f16.gguf +2 -2
gguf-model-Q4_0.gguf CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:fd5774c3f3f6b1d4826c3d5aaecc445cf263f8dadc2f0cd656a8c59cda9b0d2a
3
- size 4108916352
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:b9dec096c7cde7fbe4628b99df8ce316bcb67fbe233c9a6050c61d4a8712bd31
3
+ size 4108916288
gguf-model-Q8_0.gguf CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:cdf39a6bf6c23a514b558264523ee13275276bab87fcd3e1590151f659cb08d2
3
- size 7695857280
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:61fd75f71c833ab1ed8ab6c7ea1274d5543fc3ebffcce7ee6f6a832dbc3192ba
3
+ size 7695857216
gguf-model-f16.gguf CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:34ddfa3630e7d111139b7db135aa7ebb85d112f5f3150a10466e3e4a2643ec03
3
- size 14484731456
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:23478d8988e853e7b96462e5dfeaa3fae244b80ad4fa897e4b2a5283886b1841
3
+ size 14484731424