Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
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
Copy to bucket
new
main
DeepSeek-R1-Distill-Qwen-32B-for-lean
1.09 GB
Ctrl+K
Ctrl+K
1 contributor
History:
32 commits
Chattso-GPT
Update README.md
8d6b4b2
verified
12 months ago
.gitattributes
1.57 kB
Training in progress, step 200
12 months ago
README.md
5.28 kB
Update README.md
12 months ago
adapter_config.json
957 Bytes
Training in progress, step 4400
12 months ago
adapter_model.safetensors
1.07 GB
xet
Training in progress, step 4600
12 months ago
chat_template.jinja
2.25 kB
Training in progress, step 200
12 months ago
special_tokens_map.json
472 Bytes
Training in progress, step 200
12 months ago
tokenizer.json
11.4 MB
xet
Training in progress, step 200
12 months ago
tokenizer_config.json
4.51 kB
Training in progress, step 200
12 months ago
training_args.bin
6.23 kB
xet
Training in progress, step 4400
12 months ago
