Hugging Face's logo

Chattso-GPT
/
DeepSeek-R1-Distill-Qwen-32B-for-lean

Text Generation
Safetensors
English
Generated from Trainer
mathematics
lean
theorem-proving
reasoning
fine-tuned
lora
conversational
Model card Files
xet
Community
Chattso-GPT commited on
Commit
c2d953f
·
verified ·
1 Parent(s): 9e0b5dd

Training in progress, step 4400

Browse files
Files changed (2) hide show
  1. adapter_model.safetensors +1 -1
  2. training_args.bin +1 -1
adapter_model.safetensors CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:697b69f6882aa95964b1142abc20a6860c456b8921178d9f1ed7276a98d0ed8a
3
  size 1073863208
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:1ad7a32f0b29c1ecc9cffadc433bd719d68793588f003edb938b645ca1c93cde
3
  size 1073863208
training_args.bin CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:ba3db525866d103e4bd3d0029dd11eb00913e7b0fe35e8dbd879261ceb33f516
3
  size 6225
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:fcb44431008e8754bf0aeacb31e2f2bef6a82298f988cb235a3fec365c86fe03
3
  size 6225