Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
rkumar1999
/
DeepSeek-V2-Lite-Chat-deepseek-prover
like
0
Text Generation
Transformers
Safetensors
PEFT
deepseek-ai/DeepSeek-Prover-V1
Generated from Trainer
lean4
sft
trl
Mixture of Experts
proof
lora
conversational
Model card
Files
Files and versions
xet
Community
Train
Deploy
Use this model
main
DeepSeek-V2-Lite-Chat-deepseek-prover
589 MB
1 contributor
History:
4 commits
rkumar1999
Initial Lean SFT adapters (DeepSeek-Prover-V1) on gpt-oss-20b
080f821
verified
about 1 month ago
.gitattributes
Safe
1.52 kB
initial commit
about 1 month ago
README.md
1.76 kB
Initial Lean SFT adapters (DeepSeek-Prover-V1) on gpt-oss-20b
about 1 month ago
adapter_config.json
Safe
954 Bytes
Training in progress, step 500
about 1 month ago
adapter_model.safetensors
581 MB
xet
Training in progress, step 843
about 1 month ago
chat_template.jinja
Safe
459 Bytes
Training in progress, step 500
about 1 month ago
special_tokens_map.json
Safe
482 Bytes
Training in progress, step 500
about 1 month ago
tokenizer.json
Safe
7.5 MB
Training in progress, step 500
about 1 month ago
tokenizer_config.json
Safe
887 Bytes
Training in progress, step 500
about 1 month ago
training_args.bin
pickle
Detected Pickle imports (10)
"transformers.training_args.OptimizerNames"
,
"accelerate.utils.dataclasses.DistributedType"
,
"torch.device"
,
"transformers.trainer_utils.SchedulerType"
,
"transformers.trainer_pt_utils.AcceleratorConfig"
,
"accelerate.state.PartialState"
,
"trl.trainer.sft_config.SFTConfig"
,
"transformers.trainer_utils.HubStrategy"
,
"transformers.trainer_utils.SaveStrategy"
,
"transformers.trainer_utils.IntervalStrategy"
How to fix it?
6.29 kB
xet
Training in progress, step 500
about 1 month ago