Model: Chattso-GPT/DeepSeek-R1-Distill-Qwen-32B-for-lean
Author: Chattso-GPT
Pipeline: text-generation
Tags: safetensors, generated_from_trainer, mathematics, lean, theorem-proving, reasoning, fine-tuned, lora, text-generation, conversational, en, dataset:custom_lean_mathematics, base_model:deepseek-ai/DeepSeek-R1-Distill-Qwen-32B, base_model:adapter:deepseek-ai/DeepSeek-R1-Distill-Qwen-32B, license:apache-2.0, region:us
Base models (adapter): id: deepseek-ai/DeepSeek-R1-Distill-Qwen-32B
Card metadata: license: apache-2.0
base_model: deepseek-ai/DeepSeek-R1-Distill-Qwen-32B
tags: generated_from_trainer, mathematics, lean, theorem-proving, reasoning, fine-tuned, lora
model-index: name: DeepSeek-R1-Distill-Qwen-32B-for-lean
datasets: custom_lean_mathematics
language: en
pipeline_tag: text-generation
Likes: 0 | All-time downloads: 0
Created: 2025-08-11 19:45:19