Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
xiaolesu
/
Lean4-sft-tk-8b
like
0
Text Generation
Transformers
Safetensors
xiaolesu/lean4-sft-stmt-tk
qwen3
Generated from Trainer
conversational
text-generation-inference
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
Lean4-sft-tk-8b
16.4 GB
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
xiaolesu
Update tokenizer_config.json
d485a7b
verified
17 days ago
.gitattributes
Safe
1.57 kB
Upload folder using huggingface_hub
18 days ago
README.md
Safe
3.09 kB
Upload folder using huggingface_hub
18 days ago
chat_template.jinja
Safe
4.5 kB
Upload folder using huggingface_hub
18 days ago
config.json
Safe
1.59 kB
Upload folder using huggingface_hub
18 days ago
debug.log
Safe
112 kB
Upload folder using huggingface_hub
18 days ago
generation_config.json
Safe
187 Bytes
Upload folder using huggingface_hub
18 days ago
model.safetensors
Safe
16.4 GB
xet
Upload folder using huggingface_hub
18 days ago
tokenizer.json
Safe
11.4 MB
xet
Upload folder using huggingface_hub
18 days ago
tokenizer_config.json
Safe
897 Bytes
Update tokenizer_config.json
17 days ago
training_args.bin
pickle
Detected Pickle imports (11)
"transformers.trainer_utils.HubStrategy"
,
"axolotl.utils.dict.DictDefault"
,
"torch.device"
,
"transformers.trainer_utils.SchedulerType"
,
"accelerate.utils.dataclasses.DistributedType"
,
"transformers.trainer_utils.IntervalStrategy"
,
"accelerate.state.PartialState"
,
"transformers.training_args.OptimizerNames"
,
"transformers.trainer_pt_utils.AcceleratorConfig"
,
"transformers.trainer_utils.SaveStrategy"
,
"axolotl.core.training_args.AxolotlTrainingArguments"
How to fix it?
11.8 kB
xet
Upload folder using huggingface_hub
18 days ago