Hugging Face model: rkumar1999/DeepSeek-V2-Lite-Chat-mix-logic-prover
Author: rkumar1999
Created: 2025-09-19 18:47:22
Last modified: 2025-09-19 23:47:14
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 0
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 model relation: adapter
Base models: 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