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
saccha-ai
/
Sequent-Prover-9B-Preview
like
0
Follow
Saccha AI
3
Safetensors
qwen3_5
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
Sequent-Prover-9B-Preview
18.8 GB
Ctrl+K
Ctrl+K
1 contributor
History:
4 commits
ben072292
Remove training artifacts from preview release
4c052b3
verified
17 days ago
.gitattributes
Safe
1.57 kB
Add files using upload-large-folder tool
22 days ago
chat_template.jinja
Safe
7.76 kB
Add files using upload-large-folder tool
22 days ago
config.json
Safe
2.93 kB
Add files using upload-large-folder tool
22 days ago
generation_config.json
Safe
163 Bytes
Add files using upload-large-folder tool
22 days ago
model.safetensors
18.8 GB
xet
Add files using upload-large-folder tool
22 days ago
processor_config.json
Safe
1.19 kB
Add files using upload-large-folder tool
22 days ago
tokenizer.json
Safe
20 MB
xet
Add files using upload-large-folder tool
22 days ago
tokenizer_config.json
Safe
1.19 kB
Add files using upload-large-folder tool
22 days ago
trainer_state.json
Safe
35 kB
Add files using upload-large-folder tool
22 days ago
training_args.bin
pickle
Detected Pickle imports (14)
"accelerate.state.PartialState"
,
"torch.bfloat16"
,
"accelerate.utils.dataclasses.DistributedType"
,
"transformers.trainer_utils.HubStrategy"
,
"torch.device"
,
"transformers.trainer_utils.SchedulerType"
,
"transformers.integrations.deepspeed.HfTrainerDeepSpeedConfig"
,
"llamafactory.hparams.training_args.TrainingArguments"
,
"transformers.training_args.OptimizerNames"
,
"transformers.trainer_utils.IntervalStrategy"
,
"transformers.trainer_pt_utils.AcceleratorConfig"
,
"accelerate.utils.dataclasses.DeepSpeedPlugin"
,
"transformers.integrations.deepspeed.HfDeepSpeedConfig"
,
"transformers.trainer_utils.SaveStrategy"
How to fix it?
7.1 kB
xet
Add files using upload-large-folder tool
22 days ago