Chattso-GPT
/

DeepSeek-R1-Distill-Qwen-32B-for-lean

Text Generation

Generated from Trainer

theorem-proving

Model card Files Files and versions

DeepSeek-R1-Distill-Qwen-32B-for-lean

1.09 GB

Ctrl+K

Ctrl+K

1 contributor

History: 27 commits

Chattso-GPT's picture

Training in progress, step 4400

c2d953f verified 9 months ago

.gitattributes

1.57 kB
Training in progress, step 200 9 months ago
README.md

1.83 kB
Training in progress, step 4400 9 months ago
adapter_config.json

957 Bytes
Training in progress, step 4400 9 months ago
adapter_model.safetensors

1.07 GB
xet

Training in progress, step 4400 9 months ago
chat_template.jinja

2.25 kB
Training in progress, step 200 9 months ago
special_tokens_map.json

472 Bytes
Training in progress, step 200 9 months ago
tokenizer.json

11.4 MB
xet

Training in progress, step 200 9 months ago
tokenizer_config.json

4.51 kB
Training in progress, step 200 9 months ago
training_args.bin
Detected Pickle imports (10)
- "accelerate.state.PartialState",
- "transformers.trainer_utils.IntervalStrategy",
- "transformers.trainer_utils.SchedulerType",
- "transformers.trainer_utils.HubStrategy",
- "transformers.trainer_utils.SaveStrategy",
- "trl.trainer.sft_config.SFTConfig",
- "transformers.training_args.OptimizerNames",
- "torch.device",
- "transformers.trainer_pt_utils.AcceleratorConfig",
- "accelerate.utils.dataclasses.DistributedType"
How to fix it?
6.23 kB
xet

Training in progress, step 4400 9 months ago