---
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
---

# rkumar1999/DeepSeek-V2-Lite-Chat-mix-logic-prover

LoRA adapters for `deepseek-ai/DeepSeek-V2-Lite-Chat` trained on a mix of **KK04/LogicInference_OA** and **deepseek-ai/DeepSeek-Prover-V1**.