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