Chattso-GPT
/

DeepSeek-R1-Distill-Qwen-32B-for-lean

Text Generation

Generated from Trainer

theorem-proving

Model card Files Files and versions

DeepSeek-R1-Distill-Qwen-32B-for-lean / tokenizer.json

Chattso-GPT's picture

Training in progress, step 200

75aec20 verified 5 months ago

history blame contribute delete

11.4 MB

This file is stored with Xet . It is too big to display, but you can still download it.

Large File Pointer Details

( Raw pointer file )

SHA256:: 5d49e08c96fcd0fb570ca5259ffb933ce28eb5c68f2c28505ca4c1cf5d6b35fd
Pointer size:: 133 Bytes
Size of remote file:: 11.4 MB
Xet hash:: 63abde86dec6a0756dfbf06fb9892732e2081a004751c154e68645e4c11e5eb9

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.