Model: rkumar1999/DeepSeek-V2-Lite-Chat-mix-logic-prover
Author: rkumar1999
Pipeline: text-generation
Library: transformers
Tags: transformers, safetensors, trl, peft, lora, moe, logic, lean4, text-generation, conversational, dataset:KK04/LogicInference_OA, dataset:deepseek-ai/DeepSeek-Prover-V1, base_model:deepseek-ai/DeepSeek-V2-Lite-Chat, base_model:adapter:deepseek-ai/DeepSeek-V2-Lite-Chat, endpoints_compatible, region:us
Base models (adapter): id: deepseek-ai/DeepSeek-V2-Lite-Chat
Card metadata: library_name: transformers
pipeline_tag: text-generation
base_model: deepseek-ai/DeepSeek-V2-Lite-Chat
datasets: KK04/LogicInference_OA, deepseek-ai/DeepSeek-Prover-V1
tags: trl, peft, lora, moe, logic, lean4, text-generation
Likes: 0 | All-time downloads: 0
Created: 2025-09-19 18:47:22