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
/
tokenizer.json
rkumar1999
Training in progress, step 500
26e7368
verified
about 1 month ago
raw
Copy download link
history
contribute
delete
Safe
7.5 MB
File too large to display, you can
check the raw version
instead.