Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
morph-labs
/
morph-prover-v0-7b
like
35
Text Generation
Transformers
PyTorch
English
mistral
math
lean
text-generation-inference
Inference Endpoints
License:
apache-2.0
Model card
Files
Files and versions
Community
6
Train
Deploy
Use this model
refs/pr/6
morph-prover-v0-7b
3 contributors
History:
23 commits
SFconvertbot
Adding `safetensors` variant of this model
08564d2
9 months ago
.gitattributes
1.52 kB
initial commit
11 months ago
README.md
3.55 kB
Update README.md
11 months ago
added_tokens.json
3 Bytes
Upload folder using huggingface_hub (#1)
11 months ago
config.json
641 Bytes
Upload folder using huggingface_hub (#2)
11 months ago
generation_config.json
111 Bytes
Upload folder using huggingface_hub (#1)
11 months ago
model-00001-of-00002.safetensors
9.94 GB
LFS
Adding `safetensors` variant of this model
9 months ago
model-00002-of-00002.safetensors
4.54 GB
LFS
Adding `safetensors` variant of this model
9 months ago
model.safetensors.index.json
25.1 kB
Adding `safetensors` variant of this model
9 months ago
pytorch_model-00001-of-00002.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"torch.BFloat16Storage"
What is a pickle import?
9.94 GB
LFS
Upload folder using huggingface_hub (#4)
11 months ago
pytorch_model-00002-of-00002.bin
pickle
Detected Pickle imports (3)
"torch.BFloat16Storage"
,
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
What is a pickle import?
4.54 GB
LFS
Upload folder using huggingface_hub (#4)
11 months ago
pytorch_model.bin.index.json
24 kB
Upload folder using huggingface_hub (#1)
11 months ago
special_tokens_map.json
72 Bytes
Upload folder using huggingface_hub (#1)
11 months ago
tokenizer.json
1.8 MB
Upload folder using huggingface_hub (#1)
11 months ago
tokenizer.model
493 kB
LFS
Upload folder using huggingface_hub (#1)
11 months ago
tokenizer_config.json
966 Bytes
Upload folder using huggingface_hub (#2)
11 months ago