Hugging Face model: Chattso-GPT/DeepSeek-R1-Distill-Qwen-32B-for-lean
Author: Chattso-GPT
Created: 2025-08-11 19:45:19
Last modified: 2025-08-12 13:46:50
Pipeline: text-generation
Likes: 0 | Downloads: 0
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 model relation: adapter
Base models: 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
datasets: custom_lean_mathematics
language: en
pipeline_tag: text-generation