Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Goedel-LM
/
Goedel-Prover-SFT
like
30
Follow
Goedel-LM
97
Safetensors
llama
arxiv:
2502.07640
License:
mit
Model card
Files
Files and versions
xet
Community
3
Copy to bucket
new
refs/pr/1
Goedel-Prover-SFT
13.8 GB
Ctrl+K
Ctrl+K
1 contributor
History:
18 commits
nielsr
HF Staff
Add pipeline tag and library name
adedc3b
verified
over 1 year ago
.gitattributes
Safe
1.52 kB
initial commit
over 1 year ago
README.md
9.08 kB
Add pipeline tag and library name
over 1 year ago
config.json
Safe
763 Bytes
Initial model upload
over 1 year ago
generation_config.json
Safe
121 Bytes
Initial model upload
over 1 year ago
model-00001-of-00003.safetensors
Safe
4.99 GB
xet
Initial model upload
over 1 year ago
model-00002-of-00003.safetensors
Safe
4.98 GB
xet
Initial model upload
over 1 year ago
model-00003-of-00003.safetensors
Safe
3.85 GB
xet
Initial model upload
over 1 year ago
model.safetensors.index.json
Safe
22.5 kB
Initial model upload
over 1 year ago
performance.png
320 kB
Upload performance.png
over 1 year ago
special_tokens_map.json
Safe
369 Bytes
Initial model upload
over 1 year ago
tokenizer.json
Safe
7.5 MB
Initial model upload
over 1 year ago
tokenizer_config.json
Safe
1.79 kB
Initial model upload
over 1 year ago
training_args.bin
pickle
Detected Pickle imports (13)
"accelerate.utils.dataclasses.DistributedType"
,
"transformers.training_args.OptimizerNames"
,
"torch.device"
,
"transformers.integrations.deepspeed.HfTrainerDeepSpeedConfig"
,
"accelerate.state.PartialState"
,
"torch.bfloat16"
,
"accelerate.utils.dataclasses.DeepSpeedPlugin"
,
"trl.trainer.sft_config.SFTConfig"
,
"transformers.trainer_utils.SchedulerType"
,
"transformers.trainer_utils.IntervalStrategy"
,
"transformers.trainer_utils.HubStrategy"
,
"transformers.integrations.deepspeed.HfDeepSpeedConfig"
,
"transformers.trainer_pt_utils.AcceleratorConfig"
How to fix it?
6.9 kB
xet
Initial model upload
over 1 year ago