Chattso-GPT
/

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

Text Generation

Generated from Trainer

theorem-proving

Model card Files Files and versions Community

DeepSeek-R1-Distill-Qwen-32B-for-lean / training_args.bin

Chattso-GPT's picture

Training in progress, step 4400

c2d953f verified 4 days ago

history blame contribute delete

6.23 kB

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

Large File Pointer Details

( Raw pointer file )

SHA256:: fcb44431008e8754bf0aeacb31e2f2bef6a82298f988cb235a3fec365c86fe03
Pointer size:: 129 Bytes
Size of remote file:: 6.23 kB

Git Large File Storage (LFS) replaces large files with text pointers inside Git, while storing the file contents on a remote server. More info.