Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Chattso-GPT
/
DeepSeek-R1-Distill-Qwen-32B-for-lean
like
0
Text Generation
Safetensors
custom_lean_mathematics
English
Generated from Trainer
mathematics
lean
theorem-proving
reasoning
fine-tuned
lora
conversational
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
main
DeepSeek-R1-Distill-Qwen-32B-for-lean
1.09 GB
1 contributor
History:
32 commits
Chattso-GPT
Update README.md
8d6b4b2
verified
5 months ago
.gitattributes
1.57 kB
Training in progress, step 200
5 months ago
README.md
5.28 kB
Update README.md
5 months ago
adapter_config.json
957 Bytes
Training in progress, step 4400
5 months ago
adapter_model.safetensors
1.07 GB
xet
Training in progress, step 4600
5 months ago
chat_template.jinja
2.25 kB
Training in progress, step 200
5 months ago
special_tokens_map.json
472 Bytes
Training in progress, step 200
5 months ago
tokenizer.json
11.4 MB
xet
Training in progress, step 200
5 months ago
tokenizer_config.json
4.51 kB
Training in progress, step 200
5 months ago
training_args.bin
6.23 kB
xet
Training in progress, step 4400
5 months ago
