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 / training_args.bin

Chattso-GPT's picture

Training in progress, step 4400

c2d953f verified 8 months ago

history blame contribute delete

6.23 kB

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

Xet Pointer Details

( Raw pointer file )

Xet hash:: 746f5e9a79bd63fa8e3b9397ce3ff99907285c5e7933976f7b9c072fa23793ea
Size of remote file:: 6.23 kB
SHA256:: fcb44431008e8754bf0aeacb31e2f2bef6a82298f988cb235a3fec365c86fe03

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