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_config.json

Commit History

Training in progress, step 200

75aec20
verified

Chattso-GPT commited on Aug 11, 2025