Model: rkumar1999/DeepSeek-V2-Lite-Chat-deepseek-prover
Author: rkumar1999
Pipeline: text-generation
Library: transformers
Tags: transformers, safetensors, generated_from_trainer, lean4, sft, trl, text-generation, peft, moe, proof, lora, conversational, dataset:deepseek-ai/DeepSeek-Prover-V1, base_model:deepseek-ai/DeepSeek-V2-Lite, base_model:adapter:deepseek-ai/DeepSeek-V2-Lite, endpoints_compatible, region:us
Base models (adapter): id: deepseek-ai/DeepSeek-V2-Lite
Card metadata: base_model: deepseek-ai/DeepSeek-V2-Lite
datasets: deepseek-ai/DeepSeek-Prover-V1
library_name: transformers
model_name: DeepSeek-V2-Lite-Chat-deepseek-prover
tags: generated_from_trainer, lean4, sft, trl, text-generation, peft, moe, proof, lora
licence: license
Likes: 0 | All-time downloads: 0
Created: 2025-09-08 21:30:03